| 1995 | Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. | Gopal Gupta, Vtor Santos Costa, Enrico Pontelli |
| 1995 | Tempo: A Declarative Concurrent Programming Language. | Steve Gregory, Rafael Ramrez |
| 1995 | Preference Logic Programming. | Kannan Govindarajan, Bharat Jayaraman, Surya Mantha |
| 1995 | Representing Logic Program Schemata in lambda-Prolog. | Timothy S. Gegg-Harrison |
| 1995 | Abduction with Clark Completion. | T. H. Fung |
| 1995 | A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. | Anna Formica, Michele Missikoff, Roberto Terenzi |
| 1995 | A Reactive Constraint Logic Programming Scheme. | Franois Fages, Julian Fowler, Thierry Sola |
| 1995 | A Transformation System for Modular CLP Programs. | Sandro Etalle, Maurizio Gabbrielli |
| 1995 | Dynamic Deductive Data Bases With Steady Behaviour. | Michael I. Dekhtyar, Alexander Ja. Dikovsky |
| 1995 | A New Procedural Interpretation of Horn Clauses with Equality. | Anatoli Degtyarev, Andrei Voronkov |
| 1995 | NMCC Programming: Constraint Enforcement and Retracting in CC Programming. | Philippe Codognet, Francesca Rossi |
| 1995 | WAMCC: Compiling Prolog to C. | Philippe Codognet, Daniel Diaz |
| 1995 | Shallow Backtracking Points in an Intelligent Backtracking Schema. | Ilyas Cicekli |
| 1995 | Experimenting with Nonmonotonic Reasoning. | Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski |
| 1995 | Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. | C. K. Chiu, J. H. M. Lee |
| 1995 | A Method for Implementing Equational Theories as Logic Programs. | Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden |
| 1995 | A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. | Iliano Cervesato, Luca Chittaro, Angelo Montanari |
| 1995 | Compiling and Executing Disjunctions of Finite Domain Constraints. | Bjrn Carlson, Mats Carlsson |
| 1995 | Linear Equation Solving for Constraint Logic Programming. | Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap |
| 1995 | Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. | Stefan Brass, Jrgen Dix |
| 1995 | A Decision Graph Algorithm for CCP Languages. | Per Brand |
| 1995 | Two Aspects of Directional Types. | Johan Boye, Jan Maluszynski |
| 1995 | Combining Situation Calculus and Event Calculus. | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1995 | Type Inferencing for Polymorphic Order-Sorted Logic Programs. | Christoph Beierle |
| 1995 | Finite Domain and Cutting Plane Techniques in CLP(PB). | Peter Barth, Alexander Bockmayr |