5. LPNMR 1999: El Paso, Texas, USA

@proceedings{DBLP:conf/lpnmr/1999,
  editor    = {Michael Gelfond and
               Nicola Leone and
               Gerald Pfeifer},
  title     = {Logic Programming and Nonmonotonic Reasoning, 5th International
               Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999,
               Proceedings},
  booktitle = {LPNMR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1730},
  year      = {1999},
  isbn      = {3-540-66749-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Contributed Papers

• Georg Gottlob, Francesco Scarcello, Martha Sideri:
  Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. 1-18
  Electronic Edition (Springer LINK) BibTeX
• Tomi Janhunen:
  Classifying Semi-Normal Default Logic on the Basis of its Expressive Power. 19-33
  Electronic Edition (Springer LINK) BibTeX
• Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt:
  Locally Determined Logic Programs. 34-48
  Electronic Edition (Springer LINK) BibTeX
• V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski:
  Annotated Revision Programs. 49-62
  Electronic Edition (Springer LINK) BibTeX
• Ján Sefránek:
  Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning. 63-77
  Electronic Edition (Springer LINK) BibTeX
• Antonis C. Kakas, Rob Miller, Francesca Toni:
  An Argumentation Framework of Reasoning about Actions and Change. 78-91
  Electronic Edition (Springer LINK) BibTeX
• Vladimir Lifschitz, Hudson Turner:
  Representing Transition Systems by Logic Programs. 92-106
  Electronic Edition (Springer LINK) BibTeX
• Esra Erdem, Vladimir Lifschitz:
  Transformations of Logic Programs Related to Causality and Planning. 107-116
  Electronic Edition (Springer LINK) BibTeX
• Fangzhen Lin, Kewen Wang:
  From Causal Theories to Logic Programs (Sometimes). 117-131
  Electronic Edition (Springer LINK) BibTeX
• Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov, Nicolas Spyratos:
  Monotone Expansion of Updates in Logical Databases. 132-146
  Electronic Edition (Springer LINK) BibTeX
• Chiaki Sakama, Katsumi Inoue:
  Updating Extended Logic Programs through Abduction. 147-161
  Electronic Edition (Springer LINK) BibTeX
• José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
  LUPS - A Language for Updating Logic Programs. 162-176
  Electronic Edition (Springer LINK) BibTeX
• Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
  Pushing Goal Derivation in DLP Computations. 177-191
  Electronic Edition (Springer LINK) BibTeX
• Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou:
  Linear Tabulated Resolutions for the Well-Founded Semantics. 192-205
  Electronic Edition (Springer LINK) BibTeX
• Baoqiu Cui, Terrance Swift, David Scott Warren:
  A Case Study in Using Preference Logic Grammars for Knowledge Representations. 206-220
  Electronic Edition (Springer LINK) BibTeX
• Sergio Greco:
  Minimal Founded Semantics for Disjunctive Logic Programming. 221-235
  Electronic Edition (Springer LINK) BibTeX
• Marina De Vos, Dirk Vermeir:
  On the Role of Negation in Choice Logic Programs. 236-246
  Electronic Edition (Springer LINK) BibTeX
• Thomas Linke, Torsten Schaub:
  Default Reasoning via Blocking Sets. 247-261
  Electronic Edition (Springer LINK) BibTeX
• Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift:
  Coherent Well-founded Annotated Logic Programs. 262-276
  Electronic Edition (Springer LINK) BibTeX
• Thomas Lukasiewicz:
  Many-Valued Disjunctive Logic Programs with Probabilistic Semantics. 277-289
  Electronic Edition (Springer LINK) BibTeX
• Cristinel Mateis:
  Extending Disjunctive Logic Programming by T-norms. 290-304
  Electronic Edition (Springer LINK) BibTeX
• Patrik Simons:
  Extending the Stable Model Semantics with More Expressive Rules. 305-316
  Electronic Edition (Springer LINK) BibTeX
• Ilkka Niemelä, Patrik Simons, Timo Soininen:
  Stable Model Semantics of Weight Constraint Rules. 317-331
  Electronic Edition (Springer LINK) BibTeX
• Riccardo Rosati:
  Towards First-Order Nonmonotonic Reasoning. 332-346
  Electronic Edition (Springer LINK) BibTeX
• Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori:
  A Comparison of Sceptical NAF-Free Logic Programming Approaches. 347-356
  Electronic Edition (Springer LINK) BibTeX
• Pascal Hitzler, Anthony Karel Seda:
  Characterizations of Classes of Programs by Three-Valued Operators. 357-371
  Electronic Edition (Springer LINK) BibTeX

Invited Talks

• Marco Cadoli:
  Using LPNMR for Problem Specification and Code Generation. 372
  Electronic Edition (Springer LINK) BibTeX
• Vladimir Lifschitz:
  Answer Set Planning (Abstract). 373-374
  Electronic Edition (Springer LINK) BibTeX
• David A. McAllester:
  World-Modeling vs. World-Axiomatizing. 375-388
  Electronic Edition (Springer LINK) BibTeX
• Leora Morgenstern:
  Practical Nonmonotonic Reasoning: Extending Inheritance Techniques to Solve Real-World Problems. 389
  Electronic Edition (Springer LINK) BibTeX