5. LPNMR 1999: El Paso, Texas, USA
Michael Gelfond, Nicola Leone, Gerald Pfeifer (Eds.): Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science ISBN 3-540-66749-0
Contributed Papers
- Georg Gottlob, Francesco Scarcello, Martha Sideri: Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. 1-18
- Tomi Janhunen: Classifying Semi-Normal Default Logic on the Basis of its Expressive Power. 19-33
- Ján Sefránek: Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning. 63-77
- Antonis C. Kakas, Rob Miller, Francesca Toni: An Argumentation Framework of Reasoning about Actions and Change. 78-91
- Esra Erdem, Vladimir Lifschitz: Transformations of Logic Programs Related to Causality and Planning. 107-116
- Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos: Monotone Expansion of Updates in Logical Databases. 132-146
- José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: LUPS - A Language for Updating Logic Programs. 162-176
- Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou: Linear Tabulated Resolutions for the Well-Founded Semantics. 192-205
- Baoqiu Cui, Terrance Swift, David Scott Warren: A Case Study in Using Preference Logic Grammars for Knowledge Representations. 206-220
- Sergio Greco: Minimal Founded Semantics for Disjunctive Logic Programming. 221-235
- Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift: Coherent Well-founded Annotated Logic Programs. 262-276
- Thomas Lukasiewicz: Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. 277-289
- Cristinel Mateis: Extending Disjunctive Logic Programming by T-norms. 290-304
- Patrik Simons: Extending the Stable Model Semantics with More Expressive Rules. 305-316
- Ilkka Niemelä, Patrik Simons, Timo Soininen: Stable Model Semantics of Weight Constraint Rules. 317-331
- Riccardo Rosati: Towards First-Order Nonmonotonic Reasoning. 332-346
- Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. 347-356
- Pascal Hitzler, Anthony Karel Seda: Characterizations of Classes of Programs by Three-Valued Operators. 357-371
Invited Talks
- Marco Cadoli: Using LPNMR for Problem Specification and Code Generation. 372
- Vladimir Lifschitz: Answer Set Planning (Abstract). 373-374
- David A. McAllester: World-Modeling vs. World-Axiomatizing. 375-388
- Leora Morgenstern: Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems. 389
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team