The IMS Learning Design specification provides a potential means for capturing units of instruction in a machine-readable, consistent way. However, in order for the IMS Learning Design specification to be used widely by educators and instructional designers for whom it…

Campo de Gibraltar is a highly industrialized area situated in the South of Spain around Algeciras bay (36° 7'N, 5°27'W). This area has an advantageous situation from a geographical, geological and botanical points of view. However, high wind speeds and…

The development of a large body of e-learning specifications, such as IMS and SCORM, has led to the proposal for a new way to facilitate content workflow. This involves the movement of educational digital content and the knowledge of pedagogical…

El Desarrollo Sustentable definido desde el Informe Brundtland como el “desarrollo que intenta cubrir las necesidades presentes, sin comprometer la disponibilidad a las generaciones futuras para cubrir las suyas propias pero que a pesar de su descripción durante esta reunión…

In omplete information is a problem in many aspe ts of a tual environments. Further- more, in many s enarios the knowledge is not represented in a risp way. It is ommon to nd fuzzy on epts or problems with…

Este trabajo tiene por objeto plantear el problema de la referencia objetiva de los universales en Aristóteles. En primer lugar, analizaré su posición más temprana en el libro I del tratado Sobre las Ideas, donde parece admitir la existencia de…

This report shows how knowledge about the visual world can be built into a shape representation in the form of a descriptive vocabulary making explicit the important geometrical relationships comprising objects' shapes. Two computational tools are offered: (1) Shapestokens are…

Parallel machine scheduling, involves the allocation of jobs to the system resources (a bank of machines in parallel). A basic model consisting of m machines and n jobs is the foundation of more complex models. Here, jobs are allocated according…

If we are to understand how we can build machines capable of broad purpose learning and reasoning, we must first aim to build systems that can represent, acquire, and reason about the kinds of commonsense knowledge that we humans have…

Ontic is an interactive system for developing and verifying mathematics. Ontic's verification mechanism is capable of automatically finding and applying information from a library containing hundreds of mathematical facts. Starting with only the axioms of Zermelo-Fraenkel set theory, the Ontic…