| 1994 | How Far Can We 'C'? Defining a 'Doughnut' Using Connection Alone. | Nicholas Mark Gotts |
| 1994 | Representing Uncertainty in Simple Planners. | Robert P. Goldman, Mark S. Boddy |
| 1994 | GSAT and Dynamic Backtracking. | Matthew L. Ginsberg, David A. McAllester |
| 1994 | An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning. | Alfonso Gerevini, Lenhart K. Schubert |
| 1994 | On the Complexity of Conditional Logics. | Nir Friedman, Joseph Y. Halpern |
| 1994 | A Knowledge-Based Framework for Belief Change, Part II: Revision and Update. | Nir Friedman, Joseph Y. Halpern |
| 1994 | Action Representation for Interpreting Purpose Clauses in Natural Language Instructions. | Barbara Di Eugenio |
| 1994 | Tractable Closed World Reasoning with Updates. | Oren Etzioni, Keith Golden, Daniel S. Weld |
| 1994 | Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning. | Didier Dubois, Henri Prade |
| 1994 | Conditional Objects as Nonmonotonic Consequence Relations: Main Results. | Didier Dubois, Henri Prade |
| 1994 | A General Approach to Specificity in Default Reasoning. | James P. Delgrande, Torsten Schaub |
| 1994 | Directional Resolution: The Davis-Putnam Procedure, Revisited. | Rina Dechter, Irina Rish |
| 1994 | REVISE: An Extended Logic Programming System for Revising Knowledge Bases. | Carlos Viegas Damsio, Wolfgang Nejdl, Lus Moniz Pereira |
| 1994 | Learning the Classic Description Logic: Theoretical and Experimental Results. | William W. Cohen, Haym Hirsh |
| 1994 | Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract). | Jaime G. Carbonell |
| 1994 | A Unified Framework for Class-Based Representation Formalisms. | Diego Calvanese, Maurizio Lenzerini, Daniele Nardi |
| 1994 | Default Logic as a Query Language. | Marco Cadoli, Thomas Eiter, Georg Gottlob |
| 1994 | Belief Ascription and Mental-Level Modelling. | Ronen I. Brafman, Moshe Tennenholtz |
| 1994 | Toward a Logic for Qualitative Decision Theory. | Craig Boutilier |
| 1994 | On the Relation Between Default and Modal Consequence Relations. | Alexander Bochman |
| 1994 | Spatial Reasoning with Propositional Logics. | Brandon Bennett |
| 1994 | Reasoning with Minimal Models: Efficient Algorithms and Applications. | Rachel Ben-Eliyahu, Luigi Palopoli |
| 1994 | Constraint Tightness versus Global Consistency. | Peter van Beek, Rina Dechter |
| 1994 | An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States. | John A. Barnden, Stephen Helmreich, Eric Iverson, Gees C. Stein |
| 1994 | The Role of Reversible Grammars in Translating Between Representation Languages. | Jeffrey Van Baalen, Richard Fikes |