Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. LPNMR 1997: Dagstuhl, Germany
- Jürgen Dix, Ulrich Furbach, Anil Nerode:
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
Session I
- 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
Session II
- 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
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 - Guo-Qiang Zhang, William C. Rounds:
Power Defaults. 152-169
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
- 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
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
- 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
System Descriptions III
- 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 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-17 20:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
