| 1995 | A Sphere World Semantics for Default Reasoning. João C. P. da Silva, Sheila R. M. Veloso |
| 1995 | A Terminological Interpretation of (Abductive) Logic Programming. Marc Denecker |
| 1995 | A Transformation of Propositional Prolog Programs into Classical Logic. Robert F. Stärk |
| 1995 | Abduction over 3-Valued Extended Logic Programs. Carlos Viegas Damásio, Luís Moniz Pereira |
| 1995 | An Abductive Framework for Extended Logic Programming. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello |
| 1995 | An Operator for Composing Deductive Databases with Theories of Constraints. Domenico Aquilino, Patrizia Asirelli, Chiara Renso, Franco Turini |
| 1995 | Annotated Revision Specification Programs. Melvin Fitting |
| 1995 | Characterizations of the Stable Semantics by Partial Evaluation. Stefan Brass, Jürgen Dix |
| 1995 | Complexity Results for Abductive Logic Programming. Thomas Eiter, Georg Gottlob, Nicola Leone |
| 1995 | Computing Well-founded Semantics Faster. Kenneth A. Berman, John S. Schlipf, John V. Franco |
| 1995 | Computing the Acceptability Semantics. Francesca Toni, Antonis C. Kakas |
| 1995 | Default Consequence Relations as a Logical Framework for Logic Programs. Alexander Bochman |
| 1995 | Embedding Circumscriptive Theories in General Disjunctive Programs. Chiaki Sakama, Katsumi Inoue |
| 1995 | Game Characterizations of Logic Program Properties. Howard A. Blair |
| 1995 | Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1995 | Incremental Methods for Optimizing Partial Instantiation. Raymond T. Ng, Xiaomei Tian |
| 1995 | Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings V. Wiktor Marek, Anil Nerode |
| 1995 | Loop Checking and the Wll-Founded Semantics. Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk |
| 1995 | Nonmonotonic Inheritance, Argumentation and Logic Programming. Phan Minh Dung, Tran Cao Son |
| 1995 | Nonmonotonicity and Answer Set Inference. David Pearce |
| 1995 | On Logical Constraints in Logic Programming. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1995 | On the Extension of Logic Programming with Negation through Uniform Proofs. Li-Yan Yuan, Jia-Huai You |
| 1995 | Reasoning with Stratified Default Theories. Pawel Cholewinski |
| 1995 | Revision by Communication. Cees Witteveen, Wiebe van der Hoek |
| 1995 | Situation Calculus Specifications for Event Calculus Logic Programs. Rob Miller |
| 1995 | Skeptical Rational Extensions. Artur Mikitiuk, Miroslaw Truszczynski |
| 1995 | Stable Classes and Operator Pairs for Disjunctive Programs. Jürgen Kalinski |
| 1995 | Trans-Epistemic Semantics for Logic Programs. Arcot Rajasekar |
| 1995 | Update Rules in Datalog Programs. Mirian Halfeld Ferrari Alves, Dominique Laurent, Nicolas Spyratos |
| 1995 | Update by Means of Inference Rules. Teodor C. Przymusinski, Hudson Turner |