5th International Conference on Logic Programming and Nonmonotonic Reasoning

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.

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

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

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

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

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