GULP supports the Third International Spring School on Computational Logic (Bertinoro, Italy, April 10-15, 2011). Send your manifestation of interest by November 30, 2010. Scholarships available. ISCL 2011
Expressiveness, decidability, and undecidability of Interval Temporal Logic
Dario Della Monica Università di Udine 1 Aprile 2011 ABSTRACT Interval Temporal Logics are formalisms particularly suitable to express temporal properties. Unlike standard temporal logics, they use intervals, instead of points, as primitive ontological entities. The most studied propositional interval…
On the hybridization of constraint programming and local search techniques. Models and software tools
By Raffaele Cipriano Università di Udine 1 Aprile 2011 ABSTRACT This thesis aims to study the integration of the Constraint Programming and Local Search paradigms with three main goals in mind. First we want to combine together two free state-…
Fundamenta Informaticae Special Issue on CILC 2009
The Special Issue on the Italian Conference on Computational Logic CILC 2009, has been published as Vol 105, Number 1-2 / 2010 of Fundamenta Informaticae. (Guest editors: Gavanelli Marco, Riguzzi Fabrizio, and Pettorossi, Alberto) OFFICIAL LINK (verified SEPT 16 2015)
Kripke semantics and tableau procedures for constructive description logics
By Loris Bozzato Università degli Studi dell’Insubria (Varese) 12 gennaio 2011 Abstract In this work we present the decidable constructive description logic KALC: the logic is based on a Kripke-style semantics for the language of the description logic ALC and…
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
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…
Fundamenta Informaticae Special issue on CILC 2008
The Special Issue on the Italian Conference in Computational Logic CILC 2008, has been bublished as Volume 96 Number 3/2009 of Fundamenta Informaticae. Guest Editors Andrea Formisano and Alberto Pettorossi. OFFICIAL LINK (verified SEPT 16 2015)
Conditional and Preferential Logics: Proof Methods and Theorem Proving
By Gianluca Pozzato Università di Torino Novembre 2009 Abstract This volume is focused on proof methods and theorem proving for Conditional and Preferential logics. Conditional logics are extensions of classical logic by means of a conditional operator, usually denoted as…
Distinguished Dissertations 2007-2009
Premio GULP 2007-2009 per la migliore Tesi di Dottorato su argomenti di Logica Computazionale “Marco Cadoli”
XXIV. VI CILC (2009), Ferrara (Italy)
Ferrara (Italy), 24-26 June 2009. Web Page: XXIV. VI CILC (2009) Program chairs: Marco Gavanelli and Fabrizio Riguzzi CILC 2009 Proceedings: available for download (PDF) Special Issue containing selected, revised papers published as Vol 105, Number 1-2 / 2010 of…