Conferences in DBLP
David Makinson General Theory of Cumulative Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Allen L. Brown Jr. , Yoav Shoham New Results on Semantical Non-Monotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall The Semantics of Non-Monotonic Entailment Defined Using Partial Interpretations. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige Hierarchic Autoepistemic Theories for Non-Monotonic Reasoning: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Paul H. Morris Autoepistemic Stable Closures and Contradiction Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Vladimir Lifschitz Compiling Circumscriptive Theories into Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Matthew L. Ginsberg A Circumscriptive Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman , Henry A. Kautz The Complexity of Model-Preference Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Dixon , Johan de Kleer Massively Parallel Assumption-Based Truth Maintenance. [Citation Graph (0, 0)][DBLP ] Conf ] Oskar Dressler An Extended Basic ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas E. Appelt , Kurt Konolige A Non-Monotonic Logic for Reasoning about Speech Acts and Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond Autoepistemic Logic and Formalization of Commonsense Reasoning: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Scott D. Goodwin , Randy Goebel Non-Monotonic Reasoning in Temporal Domains: The Knowledge Independence Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Benchmark Problems for Formal Non-Monotonic Reasoning, Version 2.00. [Citation Graph (0, 0)][DBLP ] Conf ] Richmond H. Thomason , John F. Horty Logics for Inheritance Theory. [Citation Graph (0, 0)][DBLP ] Conf ] 