| Invited Papers |
| A Computational Logic Approach to Heterogenous Agent Systems / Jürgen Dix |
| Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob |
| On the Complexity of Model Checking and Inference in Minimal Models (Extended Abstract) / Lefteris M. Kirousis ; Phokion G. Kolaitis |
| Data Integration Needs Reasoning / Maurizio Lenzerini |
| Nonmonotonic Inductive Logic Programming / Chiaki Sakama |
| Regular Papers |
| Strong Equivalence for Logic Programs and Default Theories (Made Easy) / Hudson Turner |
| On the Effect of Default Negation on the Expressiveness of Disjunctive Rules / Tomi Janhunen |
| On the Expressibility of Stable Logic Programming / V. W. Marek ; J. B. Remmel |
| On the Relationship between Defeasible Logic and Well-Founded Semantics / Gerhard Brewka |
| A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs / Kewen Wang |
| Reasoning with Open Logic Programs / Piero A. Bonatti |
| Representation of Incomplete Knowledge by Induction of Default Theories / Pascal Nicolas ; Béatrice Duval |
| Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules / Véronique Ventos ; Pierre Brézellec ; Henry Soldano |
| Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming / Chitta Baral ; Cenk Uyan |
| Bounded LTL Model Checking with Stable Models / Keijo Heljanko ; Ilkka Niemelä |
| Diagnosing Physical Systems in A-Prolog / Michael Gelfond ; Marcello Balduccini ; Joel Galloway |
| Planning with Different Forms of Domain-Dependent Control Knowledge -An Answer Set Programming Approach / Tran Cao Son ; Sheila McIlraith |
| Encoding Solutions of the Frame Problem in Dynamic Logic / Norman Foo ; Dongmo Zhang ; Yan Zhang ; Samir Chopra ; Bao Quoc Vo |
| E-RES: Reasoning about Actions, Events and Observations / Antonis Kakas ; Rob Miller ; Francesca Toni |
| Omega-Restricted Logic Programs / Tommi Syrjänen |
| Improving ASP Instantiators by Join-Ordering Methods / Nicola Leone ; Simona Perri ; Francesco Scarcello |
| Optimizing the Computation of Heuristics for Answer Set Programming Systems / Wolfgang Faber ; Gerald Pfeifer |
| New Generation Systems for Non-monotonic Reasoning / Frédéric Saubion ; Igor Stéphan |
| Algorithms for Computing X-Minimal Models / Chen Avin ; Rachel Ben-Eliyahu - Zohary |
| Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / Thomas Lukasiewicz |
| Multi-adjoint Logic Programming with Continuous Semantics / Jesús Medina ; Manuel Ojeda-Aciego ; Peter VojtáÜ |
| Multi-dimensional Dynamic Knowledge Representation / João Alexandre Leite ; José Júlio Alferes ; LuÆis Moniz Pereira |
| Antitonic Logic Programs / Carolos Viegas Damásio ; Luis Moniz Pereira |
| System Descriptions |
| A-system: Declarative Programming with Abduction / Bert Van Nuffelen |
| An Update Front-End for Extended Logic Programs / Thomas Eiter ; Michael Fink ; Giuliana Sabbatini ; Hans Tompits |
| aspps - An Implementation of Answer-Set Programming with Propositional Schemata / Deborah East ; Miroslaw Truszczynski |
| NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics / Christian Anger ; Kathrin Konczak ; Thomas Linke |
| plp: A Generic Compiler for Ordered Logic Programs / James P. Delgrande ; Torsten Schaub |
| Prototypes for Reasoning with Infinite Stable Models and Function Symbols |
| psmodels: Stable Models Based on Pertinence / Ramon P. Otero |
| System Description: DLV / Tina Dell'Armi ; Giuseppe Ielpa ; Christoph Koch |
| System Description: The DLVK Planning System / Axel Polleres |
| The Smodels System |
| The USA-Advisor: A Case Study in Answer Set Planning / R. Watson ; M. Nogueira |
| Author Index |
| Invited Papers |
| A Computational Logic Approach to Heterogenous Agent Systems / Jürgen Dix |
| Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob |
図書
