Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. NMR 1988: Grassau, Germany
- 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
- David Makinson:
General Theory of Cumulative Inference. 1-18
Preference-Based Model Theory
- Allen L. Brown Jr., Yoav Shoham:
New Results on Semantical Non-Monotonic Reasoning. 19-26 - Erik Sandewall:
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. 27-41
Autoepistemic Logics
- Kurt Konolige:
Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report. 42-59 - Paul H. Morris:
Autoepistemic Stable Closures and Contradiction Resolution. 60-73
Implementing Circumscription
- Michael Gelfond, Vladimir Lifschitz:
Compiling Circumscriptive Theories into Logic Programs. 74-99 - Matthew L. Ginsberg:
A Circumscriptive Theorem Prover. 100-114
Complexity Considerations
- Bart Selman, Henry A. Kautz
:
The Complexity of Model-Preference Default Theories. 115-130
Truth Maintenance Systems
- Michael Dixon, Johan de Kleer:
Massively Parallel Assumption-Based Truth Maintenance. 131-142 - Oskar Dressler:
An Extended Basic ATMS. 143-163
Applications
- Douglas E. Appelt, Kurt Konolige:
A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision. 164-175 - Michael Gelfond:
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. 176-186 - Scott D. Goodwin, Randy Goebel:
Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem. 187-201 - Vladimir Lifschitz:
Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. 202-219 - Richmond H. Thomason, John F. Horty:
Logics for Inheritance Theory. 220-237
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-25 05:27 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:
