| 1997 | A Deductive System for Non-Monotonic Reasoning. Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1997 | A General Framework for Revising Non-Monotonic Theories. Cees Witteveen, Wiebe van der Hoek |
| 1997 | A Paraconsistent Semantics with Contradiction Support Detection. Carlos Viegas Damásio, Luís Moniz Pereira |
| 1997 | A Study of Przymusinski's Static Semantics. Alexander Bochman |
| 1997 | ACLP: Flexible Solutions to Complex Problems. Antonis C. Kakas, Costas Mourlas |
| 1997 | Affordable Classes of Normal Logic Programs. J. Seitzer, John S. Schlipf |
| 1997 | An Implementation Platform for Query-Answering: X-RAY. Torsten Schaub, Pascal Nicolas |
| 1997 | Automated Reasoning with Non-Monotonic Logics (Abstract). Miroslaw Truszczynski |
| 1997 | Complexity of Only Knowing: The Propositional Case. Riccardo Rosati |
| 1997 | Composing General Logic Programs. Antonio Brogi, Simone Contiero, Franco Turini |
| 1997 | Computing Non-Ground Representations of Stable Models. Thomas Eiter, James J. Lu, V. S. Subrahmanian |
| 1997 | Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). Bruno Buchberger |
| 1997 | Dislop: Towards a Disjunctive Logic Programming System. Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä |
| 1997 | Forward and Backward Chaining in Constraint Programming (Abstract). Joxan Jaffar, Bing Liu, Roland H. C. Yap |
| 1997 | GLUE: Opening the World to Theorem Provers. Gerd Neugebauer, Dorothea Schäfer |
| 1997 | Generalized Query Answering in Disjunctive Deductive Databases: Procedural and Non-Monotonic Aspects. Adnan H. Yahya |
| 1997 | Improving the Alternating Fixpoint: The Transformation Approach. Ulrich Zukowski, Burkhard Freitag, Stefan Brass |
| 1997 | Industry Needs for Integrated Information Services (Abstract). Martin R. Karig |
| 1997 | Is Non-Monotonic Reasoning Always Harder? Uwe Egly, Hans Tompits |
| 1997 | Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings Jürgen Dix, Ulrich Furbach, Anil Nerode |
| 1997 | Modular Logic Programming and Generalized Quantifiers. Thomas Eiter, Georg Gottlob, Helmut Veith |
| 1997 | Non-Monotonic Reasoning in FLORID. Paul-Thomas Kandzia |
| 1997 | Non-Monotonic Reasoning with Quantified Boolean Constraints. Ch. Pollet, Jeffrey B. Remmel |
| 1997 | On Conservative Enforced Updates. Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos |
| 1997 | Power Defaults. Guo-Qiang Zhang, William C. Rounds |
| 1997 | Programs with Universally Quantified Embedded Implications. Vyacheslav Petukhin |
| 1997 | REVISE: Logic Programming and Diagnosis. Carlos Viegas Damásio, Luís Moniz Pereira, Michael Schroeder |
| 1997 | Resolution for Skeptical Stable Semantics. Piero A. Bonatti |
| 1997 | Separating Disbeliefs from Beliefs in Autoepistemic Reasoning. Tomi Janhunen |
| 1997 | Simulations between Programs as Cellular Automata. Howard A. Blair, Fred Dushin, Paul R. Humenn |
| 1997 | Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. Ilkka Niemelä, Patrik Simons |
| 1997 | Strong and Weak Constraints in Disjunctive Datalog. Francesco Buccafurri, Nicola Leone, Pasquale Rullo |
| 1997 | The Deductive Database System LOLA. Ulrich Zukowski, Burkhard Freitag |
| 1997 | Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. Michael Gelfond |
| 1997 | XSB: A System for Effciently Computing WFS. Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire |