| 1997 | Reasoning About Unpredicted Change and Explicit Time. | Florence Dupin de Saint-Cyr, Jrme Lang |
| 1997 | Cactus: A Branching-Time Logic Programming Language. | Panos Rondogiannis, Manolis Gergatsoulis, Themis Panayiotopoulos |
| 1997 | Multiple Subarguments in Logic, Argumentation, Rhetoric and Text Generation. | Chris Reed, Derek Long |
| 1997 | Towards a Formalization of Narratives: Actions with Duration, Concurrent Actions and Qualifications. | Anna Radzikowska |
| 1997 | Normative Argumentation and Qualitative Probability. | Simon Parsons |
| 1997 | A Fuzzy Analysis of Linguistic Negation of Nuanced Property in Knowledge-Based Systems. | Daniel Pacholczyk |
| 1997 | Checking Several Forms of Consistency in Nonmonotonic Knowledge-Bases. | Bertrand Mazure, Lakhdar Sais, ric Grgoire |
| 1997 | Process Modeling with Different Qualities of Knowledge. | Wolfgang May |
| 1997 | Reasoning About Security: A Logic and a Decision Method for Role-Based Access Control. | Fabio Massacci |
| 1997 | Representing and Reasoning with Events fron Natural Language. | Miguel Leith, Jim Cunningham |
| 1997 | Error Tolerance Method in Multiple-Valued Logic. | Soowoo Lee |
| 1997 | Belief Functions with Nonstandard Values. | Ivan Kramosil |
| 1997 | A Logically Sound Method for Uncertain Reasoning with Quantified Conditionals. | Gabriele Kern-Isberner |
| 1997 | treeNets: A Framework for Anytime Evaluation of Belief Networks. | Nathalie Jitnah, Ann E. Nicholson |
| 1997 | A Layered, Any Time Approach to Sensor Validation. | Pablo H. Ibargengoytia, Sunil Vadera, Luis Enrique Sucar |
| 1997 | Using Default Logic for Lexical Knowledge. | Anthony Hunter |
| 1997 | How to Change Factual Beliefs Using Laws and Dependence Information. | Andreas Herzig |
| 1997 | A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees. | Bernhard Heinemann |
| 1997 | Entrenchment Relations: A Uniform Approach to Nonmonotonicity. | Konstantinos Georgatos |
| 1997 | Background and Perspectives of Possibilistic Graphical Models. | Jrg Gebhardt, Rudolf Kruse |
| 1997 | Structured Belief Bases: A Practical Approach to Prioritised Base Revision. | Dov M. Gabbay, Odinaldo Rodrigues |
| 1997 | A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning. | Joeri Engelfriet, Jan Treur |
| 1997 | Non-elementary Speed-Ups in Default Reasoning. | Uwe Egly, Hans Tompits |
| 1997 | Focusing vs. Belief Revision: A Fundamental Distinction When Dealing with Generic Knowledge. | Didier Dubois, Henri Prade |
| 1997 | Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints. | Robert Demolombe, Andrew J. I. Jones, Jos Carmo |