Sciweavers

3 search results - page 1 / 1
» LDL: An Alternative EML
Sort
View
ICALT
2006
IEEE
13 years 9 months ago
LDL: An Alternative EML
This paper describes the foundations of LDL and the associated infrastructure LDI. It explains why we have chosen to define this new EML instead of using an existing one like IMS-...
Christian Martel, Laurence Vignollet, Christine Fe...
JUCS
2007
87views more  JUCS 2007»
13 years 3 months ago
Supporting the Modeling of Flexible Educational Units PoEML: A Separation of Concerns Approach
: Educational Modeling Languages (EMLs) have been proposed to support the modeling of educational units. Currently, there are some EML proposals devoted to provide a computational ...
Manuel Caeiro Rodríguez, Maria José ...
PODS
1990
ACM
148views Database» more  PODS 1990»
13 years 7 months ago
Stable Models and Non-Determinism in Logic Programs with Negation
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
Domenico Saccà, Carlo Zaniolo