Conferences in DBLP
Alessandro Artale , Enrico Franconi A Computational Account for a Description Logic of Time and Action. [Citation Graph (0, 0)][DBLP ] Conf ] Giuseppe Attardi , Maria Simi Proofs in Context. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Barnden , Stephen Helmreich , Eric Iverson , Gees C. Stein An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States. [Citation Graph (0, 0)][DBLP ] Conf ] Rachel Ben-Eliyahu , Luigi Palopoli Reasoning with Minimal Models: Efficient Algorithms and Applications. [Citation Graph (1, 0)][DBLP ] Conf ] Brandon Bennett Spatial Reasoning with Propositional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bochman On the Relation Between Default and Modal Consequence Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier Toward a Logic for Qualitative Decision Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Ronen I. Brafman , Moshe Tennenholtz Belief Ascription and Mental-Level Modelling. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Cadoli , Thomas Eiter , Georg Gottlob Default Logic as a Query Language. [Citation Graph (4, 0)][DBLP ] Conf ] Diego Calvanese , Maurizio Lenzerini , Daniele Nardi A Unified Framework for Class-Based Representation Formalisms. [Citation Graph (5, 0)][DBLP ] Conf ] William W. Cohen , Haym Hirsh Learning the Classic Description Logic: Theoretical and Experimental Results. [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter , Irina Rish Directional Resolution: The Davis-Putnam Procedure, Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande , Torsten Schaub A General Approach to Specificity in Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Di Eugenio Action Representation for Interpreting Purpose Clauses in Natural Language Instructions. [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade Conditional Objects as Nonmonotonic Consequence Relations: Main Results. [Citation Graph (0, 0)][DBLP ] Conf ] Oren Etzioni , Keith Golden , Daniel S. Weld Tractable Closed World Reasoning with Updates. [Citation Graph (2, 0)][DBLP ] Conf ] Nir Friedman , Joseph Y. Halpern A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. [Citation Graph (1, 0)][DBLP ] Conf ] Nir Friedman , Joseph Y. Halpern On the Complexity of Conditional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Alfonso Gerevini , Lenhart K. Schubert An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg , David A. McAllester GSAT and Dynamic Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Robert P. Goldman , Mark S. Boddy Representing Uncertainty in Simple Planners. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Mark Gotts How Far Can We `C'? Defining a `Doughnut' Using Connection Alone. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas R. Gruber , Gregory R. Olsen An Ontology for Engineering Mathematics. [Citation Graph (3, 0)][DBLP ] Conf ] Nicola Guarino , Massimiliano Carrara , Pierdaniele Giaretta An Ontology of Meta-Level Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Hunter Defeasible Reasoning with Structured Information. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue , Chiaki Sakama On Positive Occurrences of Negation as Failure. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Jaeger Probabilistic Reasoning in Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Yuejun Jiang On Multiagent Autoepistemic Logic : An Extrospective View. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati Refinement Search as a Unifying Framework for Analyzing Planning Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] G. Neelakantan Kartha , Vladimir Lifschitz Actions with Indirect Effects (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Jana Koehler An Application of Terminological Logics to Case-based Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Koenig , Reid G. Simmons Risk-Sensitive Planning with Probabilistic Decision Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige Easy to be Hard: Difficult Problems for Greedy Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Manolis Koubarakis Complexity Results for First-Order Theories of Temporal Constraints. [Citation Graph (2, 0)][DBLP ] Conf ] Benjamin Kuipers , Benjamin Shults Reasoning in Logic about Continuous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer , Susanne Meyer Enhancing the Power of a Decidable First-Order Reasoner. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Lamarre , Yoav Shoham Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version). [Citation Graph (0, 0)][DBLP ] Conf ] Fangzhen Lin , Raymond Reiter How to Progress a Database (and Why) I. Logical Foundations. [Citation Graph (0, 0)][DBLP ] Conf ] L. Thorne McCarty Modalities Over Actions, I. Model Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Sheila A. McIlraith Generating Tests Using Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Moinard , Raymond Rolland Preferential Entailments for Circumscriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Ilkka Niemelä A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Padgham , Patrick Lambrix A Framework for Part-of Hierarchies in Terminological Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Anand S. Rao Means-End Plan Recognition - Towards a Theory of Reactive Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Schild Terminological Cycles and the Propositional µ-Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman Near-Optimal Plans, Tractability, and Reactivity. [Citation Graph (0, 0)][DBLP ] Conf ] Sek-Wah Tan , Judea Pearl Specification and Evaluation of Preferences Under Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Gunnar Teege Making the Difference: A Subtraction Operation for Description Logics. [Citation Graph (1, 0)][DBLP ] Conf ] Alvaro del Val Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Van Baalen , Richard Fikes The Role of Reversible Grammars in Translating Between Representation Languages. [Citation Graph (1, 0)][DBLP ] Conf ] Peter van Beek , Rina Dechter Constraint Tightness versus Global Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Wiebe van der Hoek , Jan Jaspars , Elias Thijsse Honesty in Partial Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ron van der Meyden Mutual Belief Revision (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Viegas Damásio , Wolfgang Nejdl , Luís Moniz Pereira REVISE: An Extended Logic Programming System for Revising Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Mary-Anne Williams Transmutations of Knowledge Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Jaime G. Carbonell Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Didier Dubois , Henri Prade Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] William A. Woods Beyond Ignorance-Based Systems (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Lin Padgham Systems vs. Theory vs. ... : KR&R Research Methodologies (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Lenhart K. Schubert Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] 