Marina De Vos, Alessandro Provetti (Eds.):
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003.
CEUR Workshop Proceedings 78 CEUR-WS.org 2003 
Theory
- Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Outlier Detection Using Default Logic.
- Thomas Linke:
Suitable Graphs for Answer Set Programming.
- Nikolay Pelov, Marc Denecker, Maurice Bruynooghe:
Translation of Aggregate Programs to Normal Logic Programs.
- Kathrin Konczak, Torsten Schaub, Thomas Linke:
Graphs and coloring for answer set programming: Preliminary Report.
- Robert E. Mercer, Vincent Risch:
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system.
- Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran:
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
- Piero A. Bonatti:
Finitary Open Logic Program.
- Marcello Balduccini, Veena S. Mellarkod:
CR-Prolog with Ordered Disjunction.
- Marc Denecker:
What's in a model? Epistemological analysis of Logic Programming.
- Nicola Leone, Simona Perri:
Parametric Connectives in Disjunctive Logic Programming.
- Kathrin Konczak, Torsten Schaub, Thomas Linke:
Graphs and colorings for answer set programming: Abridged Report.
- Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran:
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.
- James P. Delgrande, M. Gharib, Robert E. Mercer, Vincent Risch, Torsten Schaub:
Lukaszewicz-style Answer Set Programming: A Preliminary Report.
- Tomi Janhunen:
A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses.
- Thomas Linke:
Using Nested Logic Programs for Answer Set Programming.
- Stijn Heymans, Dirk Vermeir:
Integrating Semantic Web Reasoning and Answer Set Programming.
Implementation
- Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman:
Using Criticalities as a Heuristics for Answer Set Programming.
- Martin Brain, Marina De Vos:
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.
- Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro:
Answer Set Programming with Templates.
- Mauricio Osorio, Enrique Corona:
The A-Pol System.
- Yuliya Lierler, Marco Maratea:
Computing Answer Sets of a Logic Program via-enumeration of SAT certificates.
- Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer:
Aggregate Functions in DLV.
Applications
Copyright © Mon Mar 15 03:13:24 2010
by Michael Ley (ley@uni-trier.de)
