| 1996 | An Argumentation-theoretic Approach to Reasoning with Specificity. | Phan Minh Dung, Tran Cao Son |
| 1996 | Symmetry-Breaking Predicates for Search Problems. | James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy |
| 1996 | Modeling Belief Change using Counterfactuals. | Tom Costello |
| 1996 | Representing Spatial Vagueness: A Mereological Approach. | Anthony G. Cohn, Nicholas Mark Gotts |
| 1996 | Default Reasoning System DeReS. | Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski |
| 1996 | Finite Model Reasoning in Description Logics. | Diego Calvanese |
| 1996 | Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
| 1996 | Super Logic Programs. | Stefan Brass, Jrgen Dix, Teodor C. Przymusinski |
| 1996 | "Statistical" First Order Conditionals. | Ronen I. Brafman |
| 1996 | A Pointless Theory of Space Based on Strong Connection and Congruence. | Stefano Borgo, Nicola Guarino, Claudio Masolo |
| 1996 | Asking Queries about Frames. | Alexander Borgida, Deborah L. McGuinness |
| 1996 | Biconsequence Relations for Nonmonotonic Reasoning. | Alexander Bochman |
| 1996 | Implementing Modal and Relevance Logics in a Logical Framework. | David A. Basin, Sen Matthews, Luca Vigan |
| 1996 | Value Minimization in Circumscription. | Chitta Baral, Alfredo Gabaldon, Alessandro Provetti |
| 1996 | Utility Independence in a Qualitative Decision Theory. | Fahiem Bacchus, Adam J. Grove |
| 1996 | Number Restrictions on Complex Roles in Description Logics: A Preliminary Report. | Franz Baader, Ulrike Sattler |
| 1996 | Is There a Logic of Provability for Nonmonotonic Reasoning? | Gianni Amati, Fiora Pirri |
| 1994 | Beyond Ignorance-Based Systems (Abstract). | William A. Woods |
| 1994 | Transmutations of Knowledge Systems. | Mary-Anne Williams |
| 1994 | Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation. | Alvaro del Val |
| 1994 | Making the Difference: A Subtraction Operation for Description Logics. | Gunnar Teege |
| 1994 | Specification and Evaluation of Preferences Under Uncertainty. | Sek-Wah Tan, Judea Pearl |
| 1994 | Near-Optimal Plans, Tractability, and Reactivity. | Bart Selman |
| 1994 | Exploiting Natural Language for Knowledge Representation and Reasoning (Abstract). | Lenhart K. Schubert |
| 1994 | Terminological Cycles and the Propositional µ-Calculus. | Klaus Schild |