Conferences in DBLP
Alessandro Artale , Enrico Franconi A Computational Account for a Description Logic of Time and Action. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:3-14 [Conf ] Giuseppe Attardi , Maria Simi Proofs in Context. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:15-26 [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 ] KR, 1994, pp:27-38 [Conf ] Rachel Ben-Eliyahu , Luigi Palopoli Reasoning with Minimal Models: Efficient Algorithms and Applications. [Citation Graph (1, 0)][DBLP ] KR, 1994, pp:39-50 [Conf ] Brandon Bennett Spatial Reasoning with Propositional Logics. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:51-62 [Conf ] Alexander Bochman On the Relation Between Default and Modal Consequence Relations. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:63-74 [Conf ] Craig Boutilier Toward a Logic for Qualitative Decision Theory. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:75-86 [Conf ] Ronen I. Brafman , Moshe Tennenholtz Belief Ascription and Mental-Level Modelling. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:87-98 [Conf ] Marco Cadoli , Thomas Eiter , Georg Gottlob Default Logic as a Query Language. [Citation Graph (4, 0)][DBLP ] KR, 1994, pp:99-108 [Conf ] Diego Calvanese , Maurizio Lenzerini , Daniele Nardi A Unified Framework for Class-Based Representation Formalisms. [Citation Graph (5, 0)][DBLP ] KR, 1994, pp:109-120 [Conf ] William W. Cohen , Haym Hirsh Learning the Classic Description Logic: Theoretical and Experimental Results. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:121-133 [Conf ] Rina Dechter , Irina Rish Directional Resolution: The Davis-Putnam Procedure, Revisited. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:134-145 [Conf ] James P. Delgrande , Torsten Schaub A General Approach to Specificity in Default Reasoning. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:146-157 [Conf ] Barbara Di Eugenio Action Representation for Interpreting Purpose Clauses in Natural Language Instructions. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:158-169 [Conf ] Didier Dubois , Henri Prade Conditional Objects as Nonmonotonic Consequence Relations: Main Results. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:170-177 [Conf ] Oren Etzioni , Keith Golden , Daniel S. Weld Tractable Closed World Reasoning with Updates. [Citation Graph (2, 0)][DBLP ] KR, 1994, pp:178-189 [Conf ] Nir Friedman , Joseph Y. Halpern A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. [Citation Graph (1, 0)][DBLP ] KR, 1994, pp:190-201 [Conf ] Nir Friedman , Joseph Y. Halpern On the Complexity of Conditional Logics. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:202-213 [Conf ] Alfonso Gerevini , Lenhart K. Schubert An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:214-225 [Conf ] Matthew L. Ginsberg , David A. McAllester GSAT and Dynamic Backtracking. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:226-237 [Conf ] Robert P. Goldman , Mark S. Boddy Representing Uncertainty in Simple Planners. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:238-245 [Conf ] Nicholas Mark Gotts How Far Can We `C'? Defining a `Doughnut' Using Connection Alone. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:246-257 [Conf ] Thomas R. Gruber , Gregory R. Olsen An Ontology for Engineering Mathematics. [Citation Graph (3, 0)][DBLP ] KR, 1994, pp:258-269 [Conf ] Nicola Guarino , Massimiliano Carrara , Pierdaniele Giaretta An Ontology of Meta-Level Categories. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:270-280 [Conf ] Anthony Hunter Defeasible Reasoning with Structured Information. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:281-292 [Conf ] Katsumi Inoue , Chiaki Sakama On Positive Occurrences of Negation as Failure. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:293-304 [Conf ] Manfred Jaeger Probabilistic Reasoning in Terminological Logics. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:305-316 [Conf ] Yuejun Jiang On Multiagent Autoepistemic Logic : An Extrospective View. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:317-328 [Conf ] Subbarao Kambhampati Refinement Search as a Unifying Framework for Analyzing Planning Algorithms. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:329-340 [Conf ] G. Neelakantan Kartha , Vladimir Lifschitz Actions with Indirect Effects (Preliminary Report). [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:341-350 [Conf ] Jana Koehler An Application of Terminological Logics to Case-based Reasoning. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:351-362 [Conf ] Sven Koenig , Reid G. Simmons Risk-Sensitive Planning with Probabilistic Decision Graphs. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:363-373 [Conf ] Kurt Konolige Easy to be Hard: Difficult Problems for Greedy Algorithms. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:374-378 [Conf ] Manolis Koubarakis Complexity Results for First-Order Theories of Temporal Constraints. [Citation Graph (2, 0)][DBLP ] KR, 1994, pp:379-390 [Conf ] Benjamin Kuipers , Benjamin Shults Reasoning in Logic about Continuous Systems. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:391-402 [Conf ] Gerhard Lakemeyer , Susanne Meyer Enhancing the Power of a Decidable First-Order Reasoner. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:403-414 [Conf ] Philippe Lamarre , Yoav Shoham Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version). [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:415-424 [Conf ] Fangzhen Lin , Raymond Reiter How to Progress a Database (and Why) I. Logical Foundations. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:425-436 [Conf ] L. Thorne McCarty Modalities Over Actions, I. Model Theory. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:437-448 [Conf ] Sheila A. McIlraith Generating Tests Using Abduction. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:449-460 [Conf ] Yves Moinard , Raymond Rolland Preferential Entailments for Circumscriptions. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:461-472 [Conf ] Ilkka Niemelä A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:473-484 [Conf ] Lin Padgham , Patrick Lambrix A Framework for Part-of Hierarchies in Terminological Logics. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:485-496 [Conf ] Anand S. Rao Means-End Plan Recognition - Towards a Theory of Reactive Recognition. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:497-508 [Conf ] Klaus Schild Terminological Cycles and the Propositional µ-Calculus. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:509-520 [Conf ] Bart Selman Near-Optimal Plans, Tractability, and Reactivity. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:521-529 [Conf ] Sek-Wah Tan , Judea Pearl Specification and Evaluation of Preferences Under Uncertainty. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:530-539 [Conf ] Gunnar Teege Making the Difference: A Subtraction Operation for Description Logics. [Citation Graph (1, 0)][DBLP ] KR, 1994, pp:540-550 [Conf ] Alvaro del Val Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:551-561 [Conf ] Jeffrey Van Baalen , Richard Fikes The Role of Reversible Grammars in Translating Between Representation Languages. [Citation Graph (1, 0)][DBLP ] KR, 1994, pp:562-571 [Conf ] Peter van Beek , Rina Dechter Constraint Tightness versus Global Consistency. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:572-582 [Conf ] Wiebe van der Hoek , Jan Jaspars , Elias Thijsse Honesty in Partial Logic. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:583-594 [Conf ] Ron van der Meyden Mutual Belief Revision (Preliminary Report). [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:595-606 [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 ] KR, 1994, pp:607-618 [Conf ] Mary-Anne Williams Transmutations of Knowledge Systems. [Citation Graph (1, 0)][DBLP ] KR, 1994, pp:619-629 [Conf ] Jaime G. Carbonell Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract). [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:633- [Conf ] Didier Dubois , Henri Prade Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning. [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:634-645 [Conf ] William A. Woods Beyond Ignorance-Based Systems (Abstract). [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:646- [Conf ] Lin Padgham Systems vs. Theory vs. ... : KR&R Research Methodologies (Abstract). [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:649- [Conf ] Lenhart K. Schubert Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract). [Citation Graph (0, 0)][DBLP ] KR, 1994, pp:650-651 [Conf ]