Contributed Papers |
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri |
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19 |
Locally Determined Logic Programs / D. Cenzer ; J. B. Remmel ; A. Vanderbilt |
Annotated Revision Programs / V. Marek ; I. Pivkina ; M. Truszczynski |
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning / J. Sefranek |
An Argumentation Framework for Reasoning about Actions and Changes / A. Kakas ; R. Miller ; F. Toni |
Representing Transition Systems by Logic Programs / V. Lifschitz ; H. Turner |
Transformations of Logic Programs Related to Causality and Planning / E. Erdem |
From Causal Theories to Logic Programs (Sometimes) / F. Lin ; K. Wang |
Monotone Expansion of Updates in Logical Databases / M. Dekhtyar ; A. Dikovsky ; S. Dudakov ; N. Spyratos |
Updating Extended Logic Programs through Abduction / C. Sakama ; K. Inoue |
LUPS - A Language for Updating Logic Programs / J. J. Alferes ; L. M. Pereira ; H. Przymusinska ; T. Przymusinski |
Pushing Goal Derivation in DLP Computations / W. Faber ; N. Leone ; G. Pfeifer |
Linear Tabulated Resolution for Well Founded Semantics / Y. Shen ; L. Yuan ; J. You ; N. Zhou |
A Case Study in Using Preference Logic Grammars for Knowledge Representation / B. Cui ; T. Swift ; D. S. Warren |
Minimal Founded Semantics for Disjunctive Logic Programming / S. Greco |
On the Role of Negation in Choice Logic Programs / M. De Vos ; D. Vermeir |
Approximating Reiter's Default Logic / T. Linke ; T. Schaub |
Coherent Well-founded Annotated Logic Programs / C. V. Damasio |
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / T. Lukasiewicz |
Extending Disjunctive Logic Programming by T-norms / C. Mateis |
Extending the Stable Model Semantics with More Expressive Rules / P. Simons |
Stable Model Semantics for Weight Constraint Rules / I. Niemelä ; T. Soininen |
Towards First-Order Nonmonotonic Reasoning / R. Rosati |
Comparison of Sceptical NAF-Free Logic Programming Approaches / G. Antoniou ; M.J. Maher ; Billington ; G. Governatori |
Characterizations of Classes of Programs by Three-Valued Operators / P. Hitzler ; A. K. Seda |
Invited Talks |
Using LPNMR for Problem Specification and Code Generation (Abstract) / M. Cadoli |
Answer Set Planning (Abstract) |
World-Modeling vs. World-Axiomatizing / D. McAllester |
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problems / L. Morgenstern |
Author Index |
Contributed Papers |
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri |
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19 |