| 1997 | An Implementation Platform for Query-Answering: X-RAY. | Torsten Schaub, Pascal Nicolas |
| 1997 | Complexity of Only Knowing: The Propositional Case. | Riccardo Rosati |
| 1997 | XSB: A System for Effciently Computing WFS. | Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire |
| 1997 | Non-Monotonic Reasoning with Quantified Boolean Constraints. | Ch. Pollet, Jeffrey B. Remmel |
| 1997 | Programs with Universally Quantified Embedded Implications. | Vyacheslav Petukhin |
| 1997 | Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. | Ilkka Niemel, Patrik Simons |
| 1997 | GLUE: Opening the World to Theorem Provers. | Gerd Neugebauer, Dorothea Schfer |
| 1997 | Industry Needs for Integrated Information Services (Abstract). | Martin R. Karig |
| 1997 | Non-Monotonic Reasoning in FLORID. | Paul-Thomas Kandzia |
| 1997 | ACLP: Flexible Solutions to Complex Problems. | Antonis C. Kakas, Costas Mourlas |
| 1997 | Separating Disbeliefs from Beliefs in Autoepistemic Reasoning. | Tomi Janhunen |
| 1997 | Forward and Backward Chaining in Constraint Programming (Abstract). | Joxan Jaffar, Bing Liu, Roland H. C. Yap |
| 1997 | Towards a Systematic Approach to Representing Knowledge in Declarative Logic Programming. | Michael Gelfond |
| 1997 | The Deductive Database System LOLA. | Ulrich Zukowski, Burkhard Freitag |
| 1997 | Computing Non-Ground Representations of Stable Models. | Thomas Eiter, James J. Lu, V. S. Subrahmanian |
| 1997 | A Deductive System for Non-Monotonic Reasoning. | Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello |
| 1997 | Modular Logic Programming and Generalized Quantifiers. | Thomas Eiter, Georg Gottlob, Helmut Veith |
| 1997 | Is Non-Monotonic Reasoning Always Harder? | Uwe Egly, Hans Tompits |
| 1997 | On Conservative Enforced Updates. | Michael I. Dekhtyar, Alexander Ja. Dikovsky, Nicolas Spyratos |
| 1997 | REVISE: Logic Programming and Diagnosis. | Carlos Viegas Damsio, Lus Moniz Pereira, Michael Schroeder |
| 1997 | A Paraconsistent Semantics with Contradiction Support Detection. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1997 | Computing, Solving, Proving: A Survey on the Theorema Project (Abstract). | Bruno Buchberger |
| 1997 | Strong and Weak Constraints in Disjunctive Datalog. | Francesco Buccafurri, Nicola Leone, Pasquale Rullo |
| 1997 | Composing General Logic Programs. | Antonio Brogi, Simone Contiero, Franco Turini |
| 1997 | Resolution for Skeptical Stable Semantics. | Piero A. Bonatti |