default search action

combined dblp search
author search
venue search
publication search

ask others

4. LPNMR 1997: Dagstuhl, Germany

> Home > Conferences and Workshops > LPNMR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/1997
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

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Jaffar97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Jaffar97
Joxan Jaffar, Bing Liu, Roland H. C. Yap:
Forward and Backward Chaining in Constraint Programming (Abstract). 1

Session I

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BuccafurriLR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BuccafurriLR97
Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Strong and Weak Constraints in Disjunctive Datalog. 2-17
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/PolletR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/PolletR97
Ch. Pollet, Jeffrey B. Remmel:
Non-Monotonic Reasoning with Quantified Boolean Constraints. 18-39
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/ZukowskiFB97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/ZukowskiFB97
Ulrich Zukowski, Burkhard Freitag, Stefan Brass:
Improving the Alternating Fixpoint: The Transformation Approach. 4-59

Session II

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EglyT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EglyT97
Uwe Egly, Hans Tompits:
Is Non-Monotonic Reasoning Always Harder? 60-75
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Rosati97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Rosati97
Riccardo Rosati:
Complexity of Only Knowing: The Propositional Case. 76-91
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/SeitzerS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/SeitzerS97
J. Seitzer, John S. Schlipf:
Affordable Classes of Normal Logic Programs. 92-111

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Truszczynski97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Truszczynski97
Miroslaw Truszczynski:
Automated Reasoning with Non-Monotonic Logics (Abstract). 112-114

Session III

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BlairDH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BlairDH97
Howard A. Blair, Fred Dushin, Paul R. Humenn:
Simulations between Programs as Cellular Automata. 115-131
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Janhunen97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Janhunen97
Tomi Janhunen:
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning. 132-151
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/ZhangR97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/ZhangR97
Guo-Qiang Zhang, William C. Rounds:
Power Defaults. 152-169

Session IV

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Bochman97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Bochman97
Alexander Bochman:
A Study of Przymusinski's Static Semantics. 170-184
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Bonatti97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Bonatti97
Piero A. Bonatti:
Resolution for Skeptical Stable Semantics. 185-197
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterLS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterLS97
Thomas Eiter, James J. Lu, V. S. Subrahmanian:
Computing Non-Ground Representations of Stable Models. 198-217

Invited Talks

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Karig97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Karig97
Martin R. Karig:
Industry Needs for Integrated Information Services (Abstract). 218-219
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Buchberger97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Buchberger97
Bruno Buchberger:
Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). 220-221
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Gelfond97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Gelfond97
Michael Gelfond:
Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. 222-223

Session V

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/DamasioP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/DamasioP97
Carlos Viegas Damásio, Luís Moniz Pereira:
A Paraconsistent Semantics with Contradiction Support Detection. 224-243
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/DekhtyarDS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/DekhtyarDS97
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos:
On Conservative Enforced Updates. 244-257
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/WitteveenH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/WitteveenH97
Cees Witteveen, Wiebe van der Hoek:
A General Framework for Revising Non-Monotonic Theories. 258-273

Session VI

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BrogiCT97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BrogiCT97
Antonio Brogi, Simone Contiero, Franco Turini:
Composing General Logic Programs. 274-289
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterGV97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterGV97
Thomas Eiter, Georg Gottlob, Helmut Veith:
Modular Logic Programming and Generalized Quantifiers. 290-309
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Petukhin97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Petukhin97
Vyacheslav Petukhin:
Programs with Universally Quantified Embedded Implications. 310-324
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Yahya97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Yahya97
Adnan H. Yahya:
Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects. 325-341

System Descriptions I

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/AravindanDN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/AravindanDN97
Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä:
Dislop: Towards a Disjunctive Logic Programming System. 342-353
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/DamasioPS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/DamasioPS97
Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder:
REVISE: Logic Programming and Diagnosis. 354-363
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/EiterLMPS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/EiterLMPS97
Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
A Deductive System for Non-Monotonic Reasoning. 364-375

System Descriptions II

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/FreitagZ97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/FreitagZ97
Ulrich Zukowski, Burkhard Freitag:
The Deductive Database System LOLA. 376-387
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/KakasM97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/KakasM97
Antonis C. Kakas, Costas Mourlas:
ACLP: Flexible Solutions to Complex Problems. 388-399
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Kandzia97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Kandzia97
Paul-Thomas Kandzia:
Non-Monotonic Reasoning in FLORID. 400-410

System Descriptions III

- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/NeugebauerS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/NeugebauerS97
Gerd Neugebauer, Dorothea Schäfer:
GLUE: Opening the World to Theorem Provers. 411-420
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/NiemelaS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/NiemelaS97
Ilkka Niemelä, Patrik Simons:
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. 421-430
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/RaoSSWF97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/RaoSSWF97
Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire:
XSB: A System for Effciently Computing WFS. 431-441
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/SchaubN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/SchaubN97
Torsten Schaub, Pascal Nicolas:
An Implementation Platform for Query-Answering: X-RAY. 442-453

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.