Conferences in DBLP
Fahiem Bacchus , Josh D. Tenenberg , Johannes A. G. M. Koomen A Non-Reified Temporal Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Andrew B. Baker A Simple Solution to the Yale Shooting Problem. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Barnden Belief, Metaphorically Speaking. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Borgida , David W. Etherington Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Tom Bylander , Dean Allemang , Michael C. Tanner , John R. Josephson Some Results Concerning the Computational Complexity of Abduction. [Citation Graph (1, 0)][DBLP ] Conf ] Anthony G. Cohn On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Crawford , Benjamin Kuipers Towards a Theory of Access-Limited Logic for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Ernest Davis Solutions to a Paradox of Perception with Limited Acuity. [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter , Itay Meiri , Judea Pearl Temporal Constraint Networks. [Citation Graph (1, 0)][DBLP ] Conf ] Jon Doyle , Michael P. Wellman Impediments to Universal Preference-Based Default Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Drummond Situated Control Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Oren Etzioni Tractable Decision-Analytic Control. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Frisch A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Hector Geffner Default Reasoning, Minimality and Coherence. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Helft Induction as Nonmonotonic Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Hirst Ontological Assumptions in Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiteru Ishida A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Kasif Parallel Solutions to Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz , Bart Selman Hard Problems for Simple Default Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes A. G. M. Koomen Localizing Temporal Constraint Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Phyllis Koton , Melissa P. Chase Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel J. Lehmann What Does a Conditional Knowledge Base Entail? [Citation Graph (0, 0)][DBLP ] Conf ] Debbie Leishman Analogy as a Constrained Partial Correspondence Over Conceptual Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Between Circumscription and Autoepistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin , Yoav Shoham Argument Systems: A Uniform Basis for Nonmonotonic Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Ronald Prescott Analogical Reasoning, Defeasible Reasoning, and the Reference Class. [Citation Graph (0, 0)][DBLP ] Conf ] Eliezer L. Lozinskii Plausible World Assumption. [Citation Graph (1, 0)][DBLP ] Conf ] V. Wiktor Marek , Miroslaw Truszczynski Relating Autoepistemic and Default Logics. [Citation Graph (0, 0)][DBLP ] Conf ] David A. McAllester , Robert Givan , Tanveer Fatima Taxonomic Syntax for First Order Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nebel A Knowledge Level Analysis of Belief Revision. [Citation Graph (1, 0)][DBLP ] Conf ] Eric Neufeld Defaults and Probabilities; Extensions and Coherence. [Citation Graph (0, 0)][DBLP ] Conf ] Edwin P. D. Pednault ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] David Poole What the Lottery Paradox Tells Us About Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Teodor C. Przymusinski Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming. [Citation Graph (4, 0)][DBLP ] Conf ] Arcot Rajasekar , Jorge Lobo , Jack Minker Skeptical Reasoning and Disjunctive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Randell , Anthony G. Cohn Modelling Topological and Metrical Properties in Physical Processes. [Citation Graph (1, 0)][DBLP ] Conf ] Anand S. Rao , Norman Y. Foo Formal Theories of Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Manny Rayner Did Newton Solve the "Extended Prediction Problem"? [Citation Graph (0, 0)][DBLP ] Conf ] Stanley J. Rosenschein Synthesizing Information-Tracking Automata from Environment Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Rossi , Ugo Montanari Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell , Eric Wefald Principles of Metareasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Combining Logic and Differential Equations for Describing Real-World Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Schmidt-Schauß Subsumption in KL-ONE is Undecidable. [Citation Graph (2, 0)][DBLP ] Conf ] James G. Schmolze Terminological Knowledge Representation Systems Supporting N-ary Terms. [Citation Graph (0, 0)][DBLP ] Conf ] Lenhart K. Schubert , Chung Hee Hwang An Episodic Knowledge Representation for Narrative Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Edward P. Stabler Jr. Syntactic Equality in Knowledge Representation and Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Devika Subramanian , John Woodfill Making Situation Calculus Indexical. [Citation Graph (0, 0)][DBLP ] Conf ] Josh D. Tenenberg Inheritance in Automated Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodek Zadrozny Cardinalities and Well Orderings in a Common-Sense Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] David W. Etherington , Kenneth D. Forbus , Matthew L. Ginsberg , David J. Israel , Vladimir Lifschitz Critical Issues in Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Judea Pearl Probabilistic Semantics for Nonmonotonic Reasoning: A Survey. [Citation Graph (2, 0)][DBLP ] Conf ] 