Yearly Archives: 2010

Dynamic Magic Sets

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

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

LNCS6125rid

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)…

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…