4. LPNMR 1997: Dagstuhl, Germany

Jürgen Dix, Ulrich Furbach, Anil Nerode (Eds.): Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Lecture Notes in Computer Science 1265 Springer 1997, ISBN 3-540-63255-7

Invited Talk

Joxan Jaffar, Bing Liu, Roland H. C. Yap:
Forward and Backward Chaining in Constraint Programming (Abstract). 1

Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Strong and Weak Constraints in Disjunctive Datalog. 2-17
Ch. Pollet, Jeffrey B. Remmel:
Non-Monotonic Reasoning with Quantified Boolean Constraints. 18-39
Ulrich Zukowski, Burkhard Freitag, Stefan Brass:
Improving the Alternating Fixpoint: The Transformation Approach. 4-59

Uwe Egly, Hans Tompits:
Is Non-Monotonic Reasoning Always Harder? 60-75
Riccardo Rosati:
Complexity of Only Knowing: The Propositional Case. 76-91
J. Seitzer, John S. Schlipf:
Affordable Classes of Normal Logic Programs. 92-111

Miroslaw Truszczynski:
Automated Reasoning with Non-Monotonic Logics (Abstract). 112-114

Howard A. Blair, Fred Dushin, Paul R. Humenn:
Simulations between Programs as Cellular Automata. 115-131
Tomi Janhunen:
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning. 132-151
Guo-Qiang Zhang, William C. Rounds:
Power Defaults. 152-169

Alexander Bochman:
A Study of Przymusinski's Static Semantics. 170-184
Piero A. Bonatti:
Resolution for Skeptical Stable Semantics. 185-197
Thomas Eiter, James J. Lu, V. S. Subrahmanian:
Computing Non-Ground Representations of Stable Models. 198-217

Martin R. Karig:
Industry Needs for Integrated Information Services (Abstract). 218-219
Bruno Buchberger:
Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). 220-221
Michael Gelfond:
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. 222-223

Carlos Viegas Damásio, Luís Moniz Pereira:
A Paraconsistent Semantics with Contradiction Support Detection. 224-243
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos:
On Conservative Enforced Updates. 244-257
Cees Witteveen, Wiebe van der Hoek:
A General Framework for Revising Non-Monotonic Theories. 258-273

Antonio Brogi, Simone Contiero, Franco Turini:
Composing General Logic Programs. 274-289
Thomas Eiter, Georg Gottlob, Helmut Veith:
Modular Logic Programming and Generalized Quantifiers. 290-309
Vyacheslav Petukhin:
Programs with Universally Quantified Embedded Implications. 310-324
Adnan H. Yahya:
Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects. 325-341

Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä:
Dislop: Towards a Disjunctive Logic Programming System. 342-353
Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder:
REVISE: Logic Programming and Diagnosis. 354-363
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
A Deductive System for Non-Monotonic Reasoning. 364-375

Ulrich Zukowski, Burkhard Freitag:
The Deductive Database System LOLA. 376-387
Antonis C. Kakas, Costas Mourlas:
ACLP: Flexible Solutions to Complex Problems. 388-399
Paul-Thomas Kandzia:
Non-Monotonic Reasoning in FLORID. 400-410

Gerd Neugebauer, Dorothea Schäfer:
GLUE: Opening the World to Theorem Provers. 411-420
Ilkka Niemelä, Patrik Simons:
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. 421-430
Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire:
XSB: A System for Effciently Computing WFS. 431-441
Torsten Schaub, Pascal Nicolas: An Implementation Platform for Query-Answering: X-RAY. 442-453

Last update Fri May 25 08:25:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page