Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning

Contents

• Answer Set Programming and Bounded Model Checking

  Keijo Heljanko and Ilkka Niemela

  PDF

• Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs

  Tran Cao Son, Chitta Baral, and Sheila McIlraith

  PDF

• An A-Prolog Decision Support System for the Space Shuttle

  M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, and M. Barry

  PDF

• 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)

  Jay Halcomb and Adam Pease

  PDF

• Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results

  Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, and Stefan Woltran

  PDF

• Abduction in Equilibrium Logic

  David Pearce

  PDF

• Exploiting Vertical Parallelism from Answer Set Programs

  Enrico Pontelli and Omar El-Khatib

  PDF

• Diagnosing Dynamic Systems in A-Prolog

  Michael Gelfond and Joel Galloway

  PDF

• Logic Programming Agents and Game Theory

  Marina De Vos and Dirk Vermeir

  PDF

• Representing Configuration Knowledge with Weight Constraint Rules

  Timo Soininen, Ilkka Niemelä, Juha Tiihonen, and Reijo Sulonen

  PDF

• Effect of Knowledge Representation on Model Based Planning: Experiments Using Logic Programming Encodings

  Le-chi Tuan and Chitta Baral

  PDF

• Reasoning about Policies Using Logic Programs

  Tran Cao Son and Jorge Lobo

  PDF

• On the Epistemological Foundations of Logic Programming and Its Extensions

  Marc Denecker

  PDF

• Additive Fluents

  Joohyung Lee and Vladimir Lifschitz

  PDF

• Dynamical Properties of Answer Set Programs

  Howard A. Blair

  PDF

• Learning by Answer Sets

  Chiaki Sakama

  PDF

• The Prospect for Answer Sets Computation by a Genetic Model

  A. Bertoni, G. Grossi, A. Provetti, V. Kreinovich and L. Tari

  PDF

• Specification of Workflow Processes Using the Action Description Language C

  Pinar Koksal, Nihan Kesim Cicekli, I. Hakki Toroslu

  PDF

• Transitive Closure, Answer Sets and Predicate Completion

  Esra Erdem and Vladimir Lifschitz

  PDF

• Useful Transformations in Answer Set Programming

  Mauricio Osorio, Juan Carlos Nieves, and Chris Giannella

  PDF

• On the Foundations of Answer Set Programming

  V. W. Marek and J. B. Remmel

  PDF

• More on Wire Routing with ASP

  Deborah East and Miroslaw Truszczynski

  PDF

• Well Founded Semantics as Two-Dimensional Here-and-There

  Pedro Cabalar

  PDF

• Set Semantics and Operations Based upon Answer Set Semantics

  James D. Jones

  PDF

• A Pertinence Logic Characterization of Stable Models (Preliminary Report)

  Ramón P. Otero

  PDF

• Tabular Constraint-Satisfaction Problems and Answer Set Programming

  Raphael A. Finkel, Victor Marek, and Miroslaw Truszczynski

  PDF

• A Comparative Study of Logic Programs with Preference: Preliminary Report

  Torsten Schaub and Kewen Wang

  PDF

• Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming

  Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer

  PDF

• Genes and Ants for Default Logic

  Pascal Nicolas, Frederic Saubion, and Igor Stephan

  PDF

• Computing Stable Models in Parallel

  R. A. Finkel, V. W. Marek, N. Moore and M. Truszczynski

  PDF

• A Declarative Implementation of Planning with Control

  Aarati Parmar

  PDF

• Comparing Different Graph Representations of Logic Programs under the Answer Set Semantics

  Stefania Costantini

  PDF