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