PUMA
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.
 
 
Abstract
(English)
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