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...
: 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 ...
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...