Istituto di Scienza e Tecnologie dell'Informazione     
Giannotti F., Manco G., Nanni M., Pedreschi D. On the effective semantics of temporal, non-monotic, non-deterministic logic languages. In: CSL’98 - Computer Science Logic 12th International Workshop, CSL’98, Annual Conference of the EACSL (Brno, Czech Republic, 24-28 august 1998). Proceedings, pp. 58 - 72. (Lecture Notes in Computer Science, vol. 1584). Springer, 1998.
We consider in this paper an extension of Datalog withmechanisms for temporal, nonmonotonic and nondeterministic reasoning, which we refer to as Datalog++. We study its semantics, and show how iterated xpoint and stable model semantics can be combined to the purpose of clarifying the interpretation of Datalog++ programs, and supporting their ecient execution. On this basis, the design of appropriate optimization techniques for Datalog++ is also discussed.
Subject Non determinism
D.1.6 Programming techniques. Logic programming

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional