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. Springer 1997 Lecture Notes in Computer Science ISBN 3-540-63255-7
Invited Talk
- Joxan Jaffar, Bing Liu, Roland H. C. Yap: Forward and Backward Chaining in Constraint Programming (Abstract). 1
Session I
- Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Strong and Weak Constraints in Disjunctive Datalog. 2-17
- Ulrich Zukowski, Burkhard Freitag, Stefan Brass: Improving the Alternating Fixpoint: The Transformation Approach. 4-59
Session II
- Riccardo Rosati: Complexity of Only Knowing: The Propositional Case. 76-91
Invited Talk
- Miroslaw Truszczynski: Automated Reasoning with Non-Monotonic Logics (Abstract). 112-114
Session III
- 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
Session IV
- 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
Invited Talks
- 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
Session V
- 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
Session VI
- 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
System Descriptions I
- 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
System Descriptions II
- Paul-Thomas Kandzia: Non-Monotonic Reasoning in FLORID. 400-410
System Descriptions III
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team