Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Henry Prakken |
Intuitions and the modelling of defeasible reasoning: some case studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 91-102, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Dritan Berzati, Bernhard Anrig, Jürg Kohlas |
Embedding default logic in propositional argumentation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 302-310, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Adnan Darwiche, Pierre Marquis |
Compilation of propositional weighted bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 6-14, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sheila A. McIlraith, Ronald Fadel |
Planning with complex actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 356-364, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Pablo Barceló, Leopoldo E. Bertossi |
Repairing databases with annotated predicate logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 160-170, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Giulianella Coletti, Romano Scozzafava, Barbara Vantaggi |
Default reasoning in a coherent setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 275-282, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | James P. Delgrande, Matthew Suderman |
Considerations on compositional update operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 150-159, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Philippe Besnard, Robert E. Mercer, Torsten Schaub |
Optimality theory through default logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 77-83, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Eyal Amir |
Interpolation theorems for nonmonotonic reasoning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 41-50, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Lukasiewicz |
Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 265-274, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Samir Chopra, Johannes Heidema, Thomas Andreas Meyer |
Some logics of belief and disbelief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 25-32, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Ken Satoh |
Speculative computation and abduction for an autonomous agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 191-199, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Bart Verheij |
On the existence and multiplicity of extensions in dialectical argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 416-425, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 57-66, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Gerhard Brewka |
Logic programming with ordered disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 67-76, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Paul E. Dunne |
On concise encodings of preferred extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 392-398, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | David Lorenzo |
Learning non-monotonic causal theories from narratives of actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 349-355, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Samir Chopra, Aditya Ghose, Thomas Andreas Meyer |
Iterated revision and the axiom of recovery: a unified treatment via epistemic states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 117-123, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Leila Amgoud, Nicolas Maudet |
Strategical considerations for argumentative agents (preliminary report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 399-407, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Mary-Anne Williams |
Collaborative belief revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 3, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Thomas Linke, Christian Anger, Kathrin Konczak |
More on noMoRe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 210-218, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Claudette Cayrol, Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jérôme Mengin |
"Minimal defence": a refinement of the preferred semantics for argumentation frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 408-415, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Antonis C. Kakas, Loizos Michael |
Modeling complex domains of actions and change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 380-390, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Mehdi Dastani, Leendert W. N. van der Torre |
What is a joint goal? Games with beliefs and defeasible desires. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 33-40, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Pedro Cabalar |
Alternative characterizations for strong equivalence of logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 229-237, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer |
Pruning operators for answer set programming systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 200-209, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | John F. Horty |
Skepticism and floating conclusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 391, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | René Witte |
Fuzzy belief revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 311-320, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Graham White 0001 |
Intensionality and circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 372-379, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Trevor J. M. Bench-Capon |
Value-based argumentation frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 443-454, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Salem Benferhat, Sylvain Lagrue, Odile Papini |
Revising partially ordered beliefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 142-149, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | David Gilis, Marc Denecker |
Compositionally results for stratified nonmonotone operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 51-56, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Laura Giordano 0001, Camilla Schwind |
Towards a conditional logic of actions and causation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 333-342, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Salem Benferhat, Enrico Giunchiglia (eds.) |
9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak |
It depends on the context! A decidable logic of actions and plans based on a ternary dependence relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 343-348, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Vladimir Lifschitz |
Why Sam doesn't know calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 5, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Georg Gottlob |
Visual Data Extraction Through Visual Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 4, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Henry E. Kyburg Jr., Choh Man Teng 0001 |
Evaluating defaults. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 257-264, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Didier Dubois, Henri Prade |
Possibility theory in information fusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 103-116, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Sibylle Schwarz |
Answer sets generated by selector functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 247-256, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Alexander Bochman |
Two representations for iterative non-prioritized change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 135-141, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Eva Richter |
Nonmonotonic inference operators for fuzzy logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 321-332, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Victor W. Marek, Jeffrey B. Remmel |
On logic programs with cardinality constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 219-228, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Yves Moinard |
Linking Makinson and Kraus-Lehmann- Magidor preferential entailments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 15-24, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Grigoris Antoniou |
Defeasible logic with dynamic priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 84-90, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Jan M. Broersen, John-Jules Ch. Meyer, Roel J. Wieringa |
The mutual exclusion problem in reasoning about action and change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 365-371, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Emil Weydert |
Default epistemology rankings, reasoning and revision (a very preliminary account). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings, pp. 283-292, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
1 | Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall (eds.) |
Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![Springer, 3-540-50701-9 The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Konolige |
Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 42-59, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Dressler |
An Extended Basic ATMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 143-163, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond |
Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 176-186, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Bart Selman, Henry A. Kautz |
The Complexity of Model-Preference Default Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 115-130, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gelfond, Vladimir Lifschitz |
Compiling Circumscriptive Theories into Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 74-99, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Paul H. Morris |
Autoepistemic Stable Closures and Contradiction Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 60-73, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Erik Sandewall |
The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 27-41, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Richmond H. Thomason, John F. Horty |
Logics for Inheritance Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 220-237, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Matthew L. Ginsberg |
A Circumscriptive Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 100-114, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Douglas E. Appelt, Kurt Konolige |
A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 164-175, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Lifschitz |
Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 202-219, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | David Makinson |
General Theory of Cumulative Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 1-18, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Allen L. Brown Jr., Yoav Shoham |
New Results on Semantical Non-Monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 19-26, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Michael Dixon, Johan de Kleer |
Massively Parallel Assumption-Based Truth Maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 131-142, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Scott D. Goodwin, Randy Goebel |
Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, June 13-15, 1988, Proceedings, pp. 187-201, 1988, Springer, 3-540-50701-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | João P. Martins, Stuart C. Shapiro |
A Model for Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 241-294, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Robert C. Moore |
Possible-World Semantics for Autoepistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 344-354, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | David W. Etherington, Robert E. Mercer, Raymond Reiter |
On the Adequacy of Predicate Circumscription for Closed-World Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 70-81, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | David Poole 0001 |
A Logical System for Default Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 373-384, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Vladimir Lifschitz |
Some Results on Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 151-164, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Clark Glymour, Richmond H. Thomason |
Default Reasoning and the Logic of Theory Perturbation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 93-102, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Witold Lukaszewicz |
Considerations on Default Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 165-193, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984 ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![American Association for Artificial Intelligence (AAAI) The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Joseph Y. Halpern, Yoram Moses |
Towards a Theory of Knowledge and Ignorance: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 125-143, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | James W. Goodwin |
WATSON: A Dependency Directed Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 103-114, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Donald Perlis |
Bibliography of Literature on Non-Monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 396-401, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | John McCarthy 0001 |
Applications of Circumscription to Formalizing Common Sense Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 295-324, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jon Doyle |
Circumscription and Implicit Definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 57-69, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Nicholas Ascher |
Linguistic Understanding and Non-Monotonic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 1-20, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Alexander Borgida, Tomasz Imielinski |
Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 21-32, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Martin A. Fischler, Oscar Firschein |
Computational Vision as a (Non-Monotonic) Reasoning Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 82-92, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jack Minker, Donald Perlis |
Protected Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 337-343, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | L. Thorne McCarty |
Programming Directly in a Non Monotonic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 325-336, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Donald Perlis |
Non-Monotonicity and Real-Time Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 363-372, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | V. Wiktor Marek |
A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 194-240, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Garrison W. Cottrell |
Re: Inheritance Hierarchies with Exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 33-56, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Mary Angela Papalaskaris, Alan Bundy |
Topics for Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 355-362, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Benjamin N. Grosof |
Default Reasoning as Circumscription. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 115-124, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Aravind K. Joshi, Bonnie L. Webber, Ralph M. Weischedel |
Default Reasoning in Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 144-150, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | James A. Reggia, Dana S. Nau |
An Abductive Non-Monotonic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain House, New Paltz, NY 12561, USA, October 17-19, 1984, pp. 385-395, 1984, American Association for Artificial Intelligence (AAAI). The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|