By Mario Alviano Unical Dicembre 2010 Abstract Disjunctive Datalog with stable model semantics is a rule–based language for knowledge representation and common sense reasoning that also allows to use queries for checking the presence of specific atoms in stable models.…
Yearly Archives: 2010
XXV.VII CILC (2010), Rende (Italy)
Rende (Italy) July 7-9, 2010 Web Page: XXV. VII CILC (2010), Program chairs: Wolfgang Faber and Nicola Leone CILC 2010 Proceedings: published as CEUR Vol. 598 (free access) Special Issue containing selected, revised papers published as Theory and Practice of…
GULP Book: 25 Years of LP in Italy
A 25-Year Perspective on Logic Programming. Achievements of the Italian Association for Logic Programming, GULP. Edited by A. Dovier ed E. Pontelli. Published by Spriger as LNCS State-of-the-Art Survey. It will be available at CILC 2010. (preface) (contents) (electronic edition)…
CILC 2010 Proceedings on CEUR
The CILC 2010 Proceedings are now published as CEUR Vol. 598 (free access)
Decidability of Interval Temporal Logics
Pietro Sala Università di Udine 15 Marzo 2010 FULL PDF
Normal Form Nested Programs
By Annamaria Bria Unical February 2010 ABSTRACT In Disjunctive Logic Programming (DLP) the heads (resp. the bodies) of rules are disjunctions (resp. conjunctions) of simple constructs, viz. atoms and literals. DLP, under the answer set semantics, is established as an…