5th International Conference on Logic Programming and Nonmonotonic Reasoning

El Paso, Texas USA, December 2-4, 1999

The proceedings are now available online at the Springer site.

LPNMR'99 is the fifth in the series of international meetings on logic programming and nonmonotonic reasoning. Four previous meetings were held in Washington, U.S.A., in 1991, in Lisbon, Portugal, in 1993, in Lexington, U.S.A., in 1995, and in Dagstuhl, Germany, in 1997.

LPNMR'99 will be coordinated with the ICLP'99, which starts on November 29 in Las Cruces, approximately 40 miles from El Paso.

The proceedings of LPNMR'99 will be published by Springer in the LNCS/LNAI series.

Local Organisation, Registration, Hotel Information

...are handled by a group at El Paso (Michael Gelfond, Son Cao Tran, Monica Nogueira). Check out the details!

Tentative Schedule

Also our Tentative Schedule is available at the El Paso site.

Important Dates

Friday May 28, 1999: Papers due
Monday July 26, 1999: Notification of acceptance/rejection
Monday August 23, 1999: Final camera-ready papers due
Thursday--Saturday December 2--4, 1999: LPNMR'99

Call for Papers

Please check out the original Call for Papers (Postscript | DVI | Text only)

Accepted Papers

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
Pascal Hitzler, Anthony Karel Seda

Towards first-order nonmonotonic reasoning
Riccardo Rosati

Extending the Stable Model Semantics with More Expressive Rules
Patrik Simons

Updating Extended Logic Programs through Abduction
Chiaki Sakama, Katsumi Inoue

On the role of negation in choice logic programs
Marina De Vos, Dirk Vermeir

LUPS - a language for updating logic programs
J. J. Alferes, L. M. Pereira, H. Przymusinska, T. Przymusinski

Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning
Jan Sefranek

From Causal Theories to Logic Programs (Sometimes)
Fangzhen Lin, Kewen Wang

Stable Model Semantics for Weight Constraint Rules
Ilkka Niemelš, Patrik Simons, Timo Soininen

Approximating Reiter`s Default Logic
Thomas Linke, Torsten Schaub

Annotated revision programs
Victor Marek, Inna Pivkina, Miroslaw Truszczynski

Coherent Well-founded Annotated Logic Programs
Carlos Viegas Damasio, Luis Moniz Pereira, Terrance Swift

A Case Study in Using Preference Logic Grammars for Knowledge Representation
Baoqiu Cui, Terrance Swift, David S. Warren

Representing transition systems by logic programs
Vladimir Lifschitz, Hudson Turner

Transformations of Logic Programs Related to Causality and Planning
Esra Erdem, Vladimir Lifschitz

Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
Tomi Janhunen

Locally Determined Nonmonotonic Rule Systems
Douglas Cenzer, Jeffrey B. Remmel, Amy Vanderbilt

Linear Tabulated Resolution for Well Founded Semantics
Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You

Monotone Expansion of Updates in Logical Databases
Michael Dekhtyar, Alexander Dikovsky, Sergey Dudakov, Nicolas Spyratos 

Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
Thomas Lukasiewicz

Fixed parameter complexity in AI and nonmonotonic reasoning
G. Gottlob , F. Scarcello, M. Sideri

Extending Disjunctive Logic Programming by T-norms
Cristinel Mateis

An Argumentation Framework for Reasoning about Actions and Changes
Antonis Kakas, Rob Miller, Francesca Toni

Minimal Founded Semantics for Disjunctive Logic Programming
Sergio Greco

Pushing Goal Derivation in DLP Computations
Wolfgang Faber, Nicola Leone, Gerald Pfeifer

Last modified 1.10.1999, Gerald Pfeifer