| 1997 | A Study of Przymusinski's Static Semantics. | Alexander Bochman |
| 1997 | Simulations between Programs as Cellular Automata. | Howard A. Blair, Fred Dushin, Paul R. Humenn |
| 1997 | Dislop: Towards a Disjunctive Logic Programming System. | Chandrabose Aravindan, Jrgen Dix, Ilkka Niemel |
| 1995 | On the Extension of Logic Programming with Negation through Uniform Proofs. | Li-Yan Yuan, Jia-Huai You |
| 1995 | Revision by Communication. | Cees Witteveen, Wiebe van der Hoek |
| 1995 | Computing the Acceptability Semantics. | Francesca Toni, Antonis C. Kakas |
| 1995 | A Transformation of Propositional Prolog Programs into Classical Logic. | Robert F. Strk |
| 1995 | A Sphere World Semantics for Default Reasoning. | Joo C. P. da Silva, Sheila R. M. Veloso |
| 1995 | Embedding Circumscriptive Theories in General Disjunctive Programs. | Chiaki Sakama, Katsumi Inoue |
| 1995 | Trans-Epistemic Semantics for Logic Programs. | Arcot Rajasekar |
| 1995 | Update by Means of Inference Rules. | Teodor C. Przymusinski, Hudson Turner |
| 1995 | Nonmonotonicity and Answer Set Inference. | David Pearce |
| 1995 | Incremental Methods for Optimizing Partial Instantiation. | Raymond T. Ng, Xiaomei Tian |
| 1995 | Situation Calculus Specifications for Event Calculus Logic Programs. | Rob Miller |
| 1995 | Skeptical Rational Extensions. | Artur Mikitiuk, Miroslaw Truszczynski |
| 1995 | On Logical Constraints in Logic Programming. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1995 | Loop Checking and the Wll-Founded Semantics. | Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Strk |
| 1995 | Stable Classes and Operator Pairs for Disjunctive Programs. | Jrgen Kalinski |
| 1995 | Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1995 | Annotated Revision Specification Programs. | Melvin Fitting |
| 1995 | Complexity Results for Abductive Logic Programming. | Thomas Eiter, Georg Gottlob, Nicola Leone |
| 1995 | Nonmonotonic Inheritance, Argumentation and Logic Programming. | Phan Minh Dung, Tran Cao Son |
| 1995 | A Terminological Interpretation of (Abductive) Logic Programming. | Marc Denecker |
| 1995 | Abduction over 3-Valued Extended Logic Programs. | Carlos Viegas Damsio, Lus Moniz Pereira |
| 1995 | Reasoning with Stratified Default Theories. | Pawel Cholewinski |