default search action

combined dblp search
author search
venue search
publication search

ask others

2. NMR 1988: Grassau, Germany

> Home > Conferences and Workshops > NMR

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/nmr/1988
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/1988
Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall:
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings. Lecture Notes in Computer Science 346, Springer 1989, ISBN 3-540-50701-9

General Properties of Non-Monotonic Logics

- view
  authority control:
- export record
  dblp key:
  - conf/nmr/Makinson88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Makinson88
David Makinson:
General Theory of Cumulative Inference. 1-18

Preference-Based Model Theory

- view
  authority control:
- export record
  dblp key:
  - conf/nmr/BrownS88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/BrownS88
Allen L. Brown Jr., Yoav Shoham:
New Results on Semantical Non-Monotonic Reasoning. 19-26
- view
  authority control:
- export record
  dblp key:
  - conf/nmr/Sandewall88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Sandewall88
Erik Sandewall:
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. 27-41

Autoepistemic Logics

- view
  authority control:
- export record
  dblp key:
  - conf/nmr/Konolige88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Konolige88
Kurt Konolige:
Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report. 42-59
- view
  authority control:
- export record
  dblp key:
  - conf/nmr/Morris88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Morris88
Paul H. Morris:
Autoepistemic Stable Closures and Contradiction Resolution. 60-73

Implementing Circumscription

- view
  authority control:
- export record
  dblp key:
  - conf/nmr/GelfondL88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/GelfondL88
Michael Gelfond, Vladimir Lifschitz:
Compiling Circumscriptive Theories into Logic Programs. 74-99
- view
  authority control:
- export record
  dblp key:
  - conf/nmr/Ginsberg88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Ginsberg88
Matthew L. Ginsberg:
A Circumscriptive Theorem Prover. 100-114

Complexity Considerations

- view
  authority control:
- export record
  dblp key:
  - conf/nmr/SelmanK88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/SelmanK88
Bart Selman, Henry A. Kautz:
The Complexity of Model-Preference Default Theories. 115-130

Truth Maintenance Systems

- view
  authority control:
- export record
  dblp key:
  - conf/nmr/DixonK88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/DixonK88
Michael Dixon, Johan de Kleer:
Massively Parallel Assumption-Based Truth Maintenance. 131-142
- view
  authority control:
- export record
  dblp key:
  - conf/nmr/Dressler88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Dressler88
Oskar Dressler:
An Extended Basic ATMS. 143-163

Applications

- view
  authority control:
- export record
  dblp key:
  - conf/nmr/AppeltK88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/AppeltK88
Douglas E. Appelt, Kurt Konolige:
A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision. 164-175
- view
  authority control:
- export record
  dblp key:
  - conf/nmr/Gelfond88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Gelfond88
Michael Gelfond:
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. 176-186
- view
  authority control:
- export record
  dblp key:
  - conf/nmr/GoodwinG88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/GoodwinG88
Scott D. Goodwin, Randy Goebel:
Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem. 187-201
- view
  authority control:
- export record
  dblp key:
  - conf/nmr/Lifschitz88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/Lifschitz88
Vladimir Lifschitz:
Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. 202-219
- view
  authority control:
- export record
  dblp key:
  - conf/nmr/ThomasonH88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nmr/ThomasonH88
Richmond H. Thomason, John F. Horty:
Logics for Inheritance Theory. 220-237

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.