Answer Set Programming 2005: Bath, UK

Marina De Vos, Alessandro Provetti (Eds.): Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005. CEUR Workshop Proceedings 142 CEUR-WS.org 2005

Invited Speaker

Vladimir Lifschitz:
What is a Logic Program.

Theory

Sabrina Baselice, Piero A. Bonatti, Michael Gelfond:
A Preliminary Report on Integrating of Answer Set and Constraint Solving.
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir:
Extending Conceptual Logic Programs with Arbitrary Rules.
Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs.
Joost Vennekens, Marc Denecker:
An Algebraic Account of Modularity in ID-logic.
Magdalena Ortiz, Mauricio Osorio:
Nelson's Strong Negation, Safe Beliefs and the Answer Set Semantics.
Yuliya Lierler:
Disjunctive Answer Set Programming via Satisfiability.

Software Engineering

Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs.
Hans Tompits, Stefan Woltran:
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.
Yin Chen, Fangzhen Lin, Lei Li:
SELP - A System for Studying Strong Equivalence between Logic Programs.
Martin Brain, Marina De Vos:
Debugging Logic Programs under the Answer Set Semantics.

Implementation

Giuliano Grossi, Massimo Marchi:
A New Algorithm for Answer Set Computation.
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub:
The nomore++ Approach to Answer Set Solving.
Enrico Giunchiglia, Marco Maratea:
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming.
Martin Brain, Richard Watson, Marina De Vos:
An Interactive Approach to Answer Set Programming.
Pascal Nicolas, Claire Lefèvre:
Possibilistic Stable Model Computing.

Applications

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Intelligence Analysis Using Quantitative Preferences.
Massimo Ruffolo, Nicola Leone, Marco Manna, Domenico Saccà, Amedeo Zavatto:
Exploiting ASP for Semantic Information Extraction.
Kathrin Konczak, Ralf Vogel:
Abduction and Preferences in Linguistics.
Luis Tari, Chitta Baral, Saadat Anwar:
A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling.
Giovambattista Ianni, Claudio Panetta, Francesco Ricca:
Specification of Assessment-test Criteria through ASP Specifications.
Sandeep Chintabathina, Michael Gelfond, Richard Watson:
Modeling Hybrid Domains Using Process Description Language.
Claudia Zepeda, Mauricio Osorio, Juan Carlos Nieves, Christine Solnon, David Sol:
Applications of Preferences using Answer Set Programming.