| 1994 | Means-End Plan Recognition - Towards a Theory of Reactive Recognition. | Anand S. Rao |
| 1994 | A Framework for Part-of Hierarchies in Terminological Logics. | Lin Padgham, Patrick Lambrix |
| 1994 | Systems vs. Theory vs. ... : KR&R Research Methodologies (Abstract). | Lin Padgham |
| 1994 | A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning. | Ilkka Niemel |
| 1994 | Preferential Entailments for Circumscriptions. | Yves Moinard, Raymond Rolland |
| 1994 | Mutual Belief Revision (Preliminary Report). | Ron van der Meyden |
| 1994 | Generating Tests Using Abduction. | Sheila A. McIlraith |
| 1994 | Modalities Over Actions, I. Model Theory. | L. Thorne McCarty |
| 1994 | How to Progress a Database (and Why) I. Logical Foundations. | Fangzhen Lin, Raymond Reiter |
| 1994 | Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version). | Philippe Lamarre, Yoav Shoham |
| 1994 | Enhancing the Power of a Decidable First-Order Reasoner. | Gerhard Lakemeyer, Susanne Meyer |
| 1994 | Reasoning in Logic about Continuous Systems. | Benjamin Kuipers, Benjamin Shults |
| 1994 | Complexity Results for First-Order Theories of Temporal Constraints. | Manolis Koubarakis |
| 1994 | Easy to be Hard: Difficult Problems for Greedy Algorithms. | Kurt Konolige |
| 1994 | Risk-Sensitive Planning with Probabilistic Decision Graphs. | Sven Koenig, Reid G. Simmons |
| 1994 | An Application of Terminological Logics to Case-based Reasoning. | Jana Koehler |
| 1994 | Actions with Indirect Effects (Preliminary Report). | G. Neelakantan Kartha, Vladimir Lifschitz |
| 1994 | Refinement Search as a Unifying Framework for Analyzing Planning Algorithms. | Subbarao Kambhampati |
| 1994 | On Multiagent Autoepistemic Logic : An Extrospective View. | Yuejun Jiang |
| 1994 | Probabilistic Reasoning in Terminological Logics. | Manfred Jaeger |
| 1994 | On Positive Occurrences of Negation as Failure. | Katsumi Inoue, Chiaki Sakama |
| 1994 | Defeasible Reasoning with Structured Information. | Anthony Hunter |
| 1994 | Honesty in Partial Logic. | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
| 1994 | An Ontology of Meta-Level Categories. | Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta |
| 1994 | An Ontology for Engineering Mathematics. | Thomas R. Gruber, Gregory R. Olsen |