Abstract is missing.
- Fixed-Parameter Complexity in AI and Nonmonotonic ReasoningGeorg Gottlob, Francesco Scarcello, Martha Sideri. 1-18 [doi]
- Classifying Semi-Normal Default Logic on the Basis of its Expressive PowerTomi Janhunen. 19-33 [doi]
- Locally Determined Logic ProgramsDouglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt. 34-48 [doi]
- Annotated Revision ProgramsV. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski. 49-62 [doi]
- Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic ReasoningJán Sefránek. 63-77 [doi]
- An Argumentation Framework of Reasoning about Actions and ChangeAntonis C. Kakas, Rob Miller 0002, Francesca Toni. 78-91 [doi]
- Representing Transition Systems by Logic ProgramsVladimir Lifschitz, Hudson Turner. 92-106 [doi]
- Transformations of Logic Programs Related to Causality and PlanningEsra Erdem, Vladimir Lifschitz. 107-116 [doi]
- From Causal Theories to Logic Programs (Sometimes)Fangzhen Lin, Kewen Wang. 117-131 [doi]
- Monotone Expansion of Updates in Logical DatabasesMichael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos. 132-146 [doi]
- Updating Extended Logic Programs through AbductionChiaki Sakama, Katsumi Inoue. 147-161 [doi]
- LUPS - A Language for Updating Logic ProgramsJosé Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski. 162-176 [doi]
- Pushing Goal Derivation in DLP ComputationsWolfgang Faber, Nicola Leone, Gerald Pfeifer. 177-191 [doi]
- Linear Tabulated Resolutions for the Well-Founded SemanticsYi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou. 192-205 [doi]
- A Case Study in Using Preference Logic Grammars for Knowledge RepresentationsBaoqiu Cui, Terrance Swift, David Scott Warren. 206-220 [doi]
- Minimal Founded Semantics for Disjunctive Logic ProgrammingSergio Greco. 221-235 [doi]
- On the Role of Negation in Choice Logic ProgramsMarina De Vos, Dirk Vermeir. 236-246 [doi]
- Default Reasoning via Blocking SetsThomas Linke, Torsten Schaub. 247-261 [doi]
- Coherent Well-founded Annotated Logic ProgramsCarlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift. 262-276 [doi]
- Many-Valued Disjunctive Logic Programs with Probabilistic SemanticsThomas Lukasiewicz. 277-289 [doi]
- Extending Disjunctive Logic Programming by T-normsCristinel Mateis. 290-304 [doi]
- Extending the Stable Model Semantics with More Expressive RulesPatrik Simons. 305-316 [doi]
- Stable Model Semantics of Weight Constraint RulesIlkka Niemelä, Patrik Simons, Timo Soininen. 317-331 [doi]
- Towards First-Order Nonmonotonic ReasoningRiccardo Rosati. 332-346 [doi]
- A Comparison of Sceptical NAF-Free Logic Programming ApproachesGrigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori. 347-356 [doi]
- Characterizations of Classes of Programs by Three-Valued OperatorsPascal Hitzler, Anthony Karel Seda. 357-371 [doi]
- Using LPNMR for Problem Specification and Code GenerationMarco Cadoli. 372 [doi]
- Answer Set Planning (Abstract)Vladimir Lifschitz. 373-374 [doi]
- World-Modeling vs. World-AxiomatizingDavid A. McAllester. 375-388 [doi]
- Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World ProblemsLeora Morgenstern. 389 [doi]