As a contribution to consider software projects to be risk investments, it is important the full standardization of either the planning methodology (as a subset of project management methodology) and the effort estimation method. We think there is important and…

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…

This article presents the confluence of two general ideas: Defeasible Logic Programming (DeLP, an argumentation based formalism for representing knowledge and reasoning) and Abduction in logic. In first place, we introduce a framework that formally states the problem of doing…

Los avances de las tecnologías de la información y comunicación (TIC)
presionan la educación y provocan transformaciones en el qué y cómo enseñar,
entre otros aspectos. Su conversión en un soporte educativo efectivo requerirá
de procesos de innovación de la…

Planteamos varias actividades didácticas cuyo objetivo es que los alumnos y alumnas comprendan la influencia de la isostasia y del flujo térmico en el relieve del planeta y su relación con la Tectónica de Placas. Tres de ellas se basan…

South Africa in recent years has continued to create significant excitement in R&D. This excitement is being supported by government, the National Research Fund (NRF), Department of Science and Technology (DST), industry and research organisations with strong collaboration and support…

On the 11th of January 2007 a conference took place in Palermo, in the striking frame of the Steri palace. The conference, titled “University and work – what knowledge is necessary to equip students for after the university”, was organised…

Descripción completa.

Descripción completa.

Descripción completa.