Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning
Papers from 2001 AAAI Spring Symposium
Alessandro Provetti and Tran Cao Son, Program Cochairs
Technical Report SS-01-01. Published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
The Prospect for Answer Sets Computation by a Genetic Model / 1
A. Bertoni, G. Grossi, A. Provetti, V. Kreinovich and L. Tari
Dynamical Properties of Answer Set Programs / 7
Howard A. Blair
Well Founded Semantics as Two-Dimensional Here-and-There / 15
Pedro Cabalar
Comparing Different Graph Representations of Logic Programs under the Answer Set Semantics / 21
Stefania Costantini
Logic Programming Agents and Game Theory / 27
Marina De Vos and Dirk Vermeir
On the Epistemological Foundations of Logic Programming and Its Extensions / 34
Marc Denecker
More on Wire Routing with ASP / 39
Deborah East and Miroslaw Truszczynski
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming / 45
Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results / 53
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, and Stefan Woltran
Transitive Closure, Answer Sets and Predicate Completion / 60
Esra Erdem and Vladimir Lifschitz
Tabular Constraint-Satisfaction Problems and Answer Set Programming / 65
Raphael A. Finkel, Victor Marek, and Miroslaw Truszczynski
Computing Stable Models in Parallel / 72
R. A. Finkel, V. W. Marek, N. Moore and M. Truszczynski
Diagnosing Dynamic Systems in A-Prolog / 77
Michael Gelfond and Joel Galloway
On Treating Negation within XSB (and upon Extending XSB Programming with a Form of Logical Negation, and its Relations to Existing Varieties of Logic Programming) / 84
Jay Halcomb and Adam Pease
Answer Set Programming and Bounded Model Checking / 90
Keijo Heljanko and Ilkka Niemela
Set Semantics and Operations Based upon Answer Set Semantics / 97
James D. Jones
Specification of Workflow Processes Using the Action Description Language C / 103
Pinar Koksal, Nihan Kesim Cicekli, I. Hakki Toroslu
Effect of Knowledge Representation on Model Based Planning: Experiments Using Logic Programming Encodings / 110
Le-chi Tuan and Chitta Baral
Additive Fluents / 116
Joohyung Lee and Vladimir Lifschitz
On the Foundations of Answer Set Programming / 124
V. W. Marek and J. B. Remmel
Genes and Ants for Default Logic / 132
Pascal Nicolas, Frederic Saubion, and Igor Stephan
An A-Prolog Decision Support System for the Space Shuttle / 139
M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, and M. Barry
Useful Transformations in Answer Set Programming / 146
Mauricio Osorio, Juan Carlos Nieves, and Chris Giannella
A Pertinence Logic Characterization of Stable Models (Preliminary Report) / 153
Ramón P. Otero
A Declarative Implementation of Planning with Control / 160
Aarati Parmar
Abduction in Equilibrium Logic / 167
David Pearce
Exploiting Vertical Parallelism from Answer Set Programs / 174
Enrico Pontelli and Omar El-Khatib
Learning by Answer Sets / 181
Chiaki Sakama
A Comparative Study of Logic Programs with Preference: Preliminary Report / 188
Torsten Schaub and Kewen Wang
Representing Configuration Knowledge with Weight Constraint Rules / 195
Timo Soininen, Ilkka Niemelä, Juha Tiihonen, and Reijo Sulonen
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs / 202
Tran Cao Son, Chitta Baral, and Sheila McIlraith
Reasoning about Policies Using Logic Programs / 210
Tran Cao Son and Jorge Lobo
Author Index / 146
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.