ISBN: 3-540-66749-0
TITLE: Logic Programming and Nonmonotonic Reasoning
AUTHOR: Gelfond, Michael; Leone, Nicole; Pfeifer, Gerald (Eds.)
TOC:

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