Conferences in DBLP
James F. Allen Planning as Temporal Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Jonathan Amsterdam Temporal Reasoning and Narrative Conventions. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Attardi , Maria Simi Reflections about Reflection. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Balkenius , Peter Gärdenfors Nonmonotonic Inferences in Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Barringer , Michael Fisher , Dov M. Gabbay , Anthony Hunter Meta-Reasoning in Executable Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] John Bell Pragmatic Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Brogi , Franco Turini Metalogic for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Bylander The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability. [Citation Graph (0, 0)][DBLP ] Conf ] Jacqueline Castaing A New Formalisation of Subsumption in Frame-Based Representation Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Prasad Chalasani , Oren Etzioni , John Mount Integrating Efficient Model-Learning and Problem-Solving Algorithms in Permutation Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Seng-cho Timothy Chou , Marianne Winslett Immortal: A Model-Based Belief Revision System. [Citation Graph (0, 0)][DBLP ] Conf ] William S. Davis , James R. Carnes Clustering Temporal Intervals To Generate Reference Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande , W. Ken Jackson Default Logic Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Premkumar T. Devanbu , Diane J. Litman Plan-Based Terminological Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Charles Dierbach , Daniel L. Chester A Formal Basis for Analogical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Francesco M. Donini , Maurizio Lenzerini , Daniele Nardi , Werner Nutt The Complexity of Concept Languages. [Citation Graph (7, 0)][DBLP ] Conf ] Jon Doyle Rational Belief Revision. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade Conditional Objects and Non-Monontonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder Completable Representations of Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Frisch , Richard B. Scherl A General Framework for Modal Deduction. [Citation Graph (0, 0)][DBLP ] Conf ] Dov M. Gabbay , Els Laenens , Dirk Vermeir Credulous vs. Sceptical Semantics for Ordered Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Hector Geffner Beyond Negation as Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Gelfond , Halina Przymusinska , Vladimir Lifschitz , Miroslaw Truszczynski Disjective Defaults. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Genesereth , Jane Yung-jen Hsu Partial Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg Computational Considerations in Reasoning about Action. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg The Computational Value of Nonmonotonic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gösta Grahne Updates and Counterfactuals. [Citation Graph (5, 0)][DBLP ] Conf ] Russell Greiner , Pekka Orponen Probably Approximately Optimal Derivation Strategies. [Citation Graph (1, 0)][DBLP ] Conf ] Benjamin N. Grosof Generalizing Prioritization. [Citation Graph (0, 0)][DBLP ] Conf ] Adam J. Grove , Joseph Y. Halpern Naming and Identity in a Multi-Agent Epistemic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Haddawy A Temporal Probability Logic for Representing Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern , Moshe Y. Vardi Model Checking vs. Theorem Proving: A Manifesto. [Citation Graph (1, 0)][DBLP ] Conf ] Bernhard Hollunder , Franz Baader Qualifying Number Restrictions in Concept Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen G. Kaufman A Formal Theory of Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Lamarre S4 as the Conditional Logic of Nonmonotonicity. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer On the Relation between Explicit and Implicit Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Toward a Metatheory of Action. [Citation Graph (1, 0)][DBLP ] Conf ] Hirofumi Katsuno , Alberto O. Mendelzon On the Difference between Updating a Knowledge Base and Revising It. [Citation Graph (12, 0)][DBLP ] Conf ] V. Wiktor Marek , Grigori F. Shvarts , Miroslaw Truszczynski Modal Nonmonotonic Logics: Ranges, Characterization, Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Karen L. Myers Universal Attachment: An Integration Method for Logic Hybrids. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nebel Belief Revision and Default Reasoning: Syntax-Based Approaches. [Citation Graph (5, 0)][DBLP ] Conf ] C. David Page Jr. , Alan M. Frisch Generalizing Atoms in Constraint Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Judea Pearl , Thomas Verma A Theory of Inferred Causation. [Citation Graph (4, 0)][DBLP ] Conf ] Tarcisio H. C. Pequeno , Arthur Buchsbaum The Logic of Epistemic Inconsistency. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory M. Provan , David Poole The Utility of Consistency-Based Diagnostic Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Anand S. Rao , Michael P. Georgeff Modeling Rational Agents within a BDI-Architecture. [Citation Graph (1, 0)][DBLP ] Conf ] William L. Rodi , Stephen G. Pimentel A Nonmonotonic Assumption-Based TMS Using Stable Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Torsten Schaub Assertional Default Theories: A Semantical View. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Schweizer A Metalinguistic Treatment of Epistemic Contexts. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Van Baalen The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Vreeswijk The Feasibility of Defeat in Defeasible Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Wellman , Max Henrion Qualitative Intercausal Relations, or Explaining "Explaining Away". [Citation Graph (0, 0)][DBLP ] Conf ] Michael P. Wellman Qualitative Simulation with Multivariate Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Wilensky The Ontology and Representation of Situations. [Citation Graph (0, 0)][DBLP ] Conf ] Cees Witteveen Skeptical Reason Maintenance is Tractable. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Gärdenfors Nonmonotonic Inferences Based on Expectations: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Rich Implemented Knowledge Representation and Reasoning Systems: An Endangered Species? [Citation Graph (0, 0)][DBLP ] Conf ] William Mark Panel: Achieving Large Scale Knowledge Sharing. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Attardi Knowledge Sharing: A Feasible Dream. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Genesereth Knowledge Interchange Format. [Citation Graph (1, 0)][DBLP ] Conf ] Thomas R. Gruber The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases. [Citation Graph (4, 0)][DBLP ] Conf ] 