spacer
spacer
News Flash
The Scientific Program for the conference is now available.


8th International Conference on
Logic Programming and Non Monotonic Reasoning
Diamante, Cosenza, Italy
September 5-8, 2005

spacer spacer
Main Menu
spacer Proceedings

Authors Title
INVITED PAPERS
Michael Kifer Nonmonotonic Reasoning in FLORA-2
Tohmas Eiter Data Integration and Answer Set Programming
Jurgen Angele, Eddie Moench, Henrik Oppermann, Dirk Wenke Halo I: A controlled experiment for large scale knowledge base development
ASP FOUNDATIONS
Wolfgang Faber Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates
Martin Gebser and Torsten Schaub. Loops: Relevant or Redundant?
Victor W. Marek, Inna Pivkina and Miroslaw Truszczynski. Approximating answer sets of unitary Lifschitz-Woo programs
Paolo Ferraris On Modular Translations and Strong Equivalence
ASP EXTENSIONS
Stijn Heymans, Davy Van Nieuwenborgh and Dirk Vermeir. Guarded Open Answer Set Programming
Francesco Calimeri and Giovambattista Ianni. External sources of computation for Answer Set Solvers
Paolo Ferraris Answer Sets for Propositional Theories
APPLICATIONS
Bert Van Nuffelen, Ofer Arieli, Alvaro Cortes-Calabuig and Maurice Bruynooghe. An ID-Logic Formalization of the Composition of Autonomous Databases
Alvaro Cortes-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen and Maurice Bruynooghe. On the Local Closed-World Assumption of Data-Sources
Carlos Iván Chesñevar, Guillermo Ricardo Simari and Lluis Godo Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming
ACTIONS AND CAUSATIONS
Tran Cao Son, Phan Huy Tu, Michael Gelfond and A. Ricardo Morales An Approximation of Action Theories of AL and its Application to Conformant Planning
Alberto Finzi and Thomas Lukasiewicz Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories
Marek Sergot and Robert Craven. Some logical properties of nonmonotonic causal theories
Antonis Kakas, Loizos Michael and Rob Miller Modular-E: an Elaboration Tolerant Approach to the Ramification and Qualification Problems
ALGORTHIMS AND COMPUTATION
Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Richard Tichy and Sven Thiele. Platypus: A platform for distributed answer set solving
Wolfgang Faber and Francesco Ricca Solving Hard ASP Programs Efficiently
Hai-Feng Guo Mode-Directed Fixed Point Computation
Jia-Huai You, Guohua Liu, Li Yuan Yuan and Curtis Onuczko. Lookahead in Smodels Compared to Local Consistencies in CSP
FOUNDATIONS
Kewen Wang and Yan Zhang. Nested Epistemic Logic Programs
Joost Vennekens and Marc Denecker. An Algebraic Account of Modularity in ID-logic
Iseline Engan, Tore Langholm, Espen Lian and Arild Waaler. Default Reasoning with Preference within Only Knowing Logic
SEMANTICS
Francesco Buccafurri and Gianluca Caminiti. A Social Semantics for Multi-Agent Systems
Alex Dekhtyar and Michael I. Dekhtyar. Revisiting the Semantics of Interval Probabilistic Logic Programs
Sergei Odintsov and David Pearce Routley Semantics for Answer Sets
Federico Banti, José Alferes, Antonio Brogi and Pascal Hitzler A well supported semantics for multidimensional dynamic logic programs
APPLICATIONS TRACK
Gang Wu, Jia-Huai You, Guohui Lin Application of Smodels in Quartet Based Phylogeny Construction
Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner Using Answer Set Programming for a Decision Support System
Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina Data Integration: a Challenging ASP Application
Kathrin Konczak, Ralf Vogel Abduction and Preferences in Linguistics: Extended Abstract
Irene Papatheodorou, Antonis Kakas and Marek Sergot. Inference of Gene Relations from Microarray Data by Abduction
SYSTEMS TRACK
Susanne Grell, Kathrin Konczak, Torsten Schaub nomore$^<$: A System for Computing Preferred Answer Sets
Omar Elkhatib, Enrico Pontelli, Tran Cao Son Integrating An Answer Set Solver into Prolog: ASP-PROLOG
E. Oikarinen, T. Janhunen circ2dlp -- Translating Circumscription into Disjunctive Logic Programming
Lengning Liu, Miroslaw Truszczynski Pbmodels Software to Compute Stable Models by Pseudoboolean Solvers
Thomas Eiter, Michael Fink, Jan Senko KMonitor - A Tool for Monitoring Plan Execution in Action Theories
Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub The nomore++ System
Islam Elkabani, Enrico Pontelli, Tran Cao Son SMODELS^A -- A System for Computing Answer Sets of Logic Programs with Aggregates
Francesco Ricca, Nicola Leone, Tina Dell'Armi, Valerio De Bonis, Stefania Galizia, and Giovanni Grasso A DLP system with object-oriented features
Thomas Eiter, Wolfgang Faber, and Patrick Traxler Testing Strong Equivalence of Nonmonotonic Datalog Programs - Implementation and Examples
Yin Chen, Fangzhen Lin and Lei Li. SELP - A System for Studying Strong Equivalence between Logic Programs
Yuliya Lierler Disjunctive Answer Set Programming via Satisfiability

spacer
spacer