| 1995 | Variants of the Event Calculus. | Fariba Sadri, Robert A. Kowalski |
| 1995 | Efficient Tabling Mechanisms for Logic Programs. | I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1995 | Determinacy Driven Optimizations of And-Parallel Prolog Implementations. | Enrico Pontelli, Gopal Gupta, Dongxing Tang |
| 1995 | Situated Simplification. | Andreas Podelski, Gert Smolka |
| 1995 | Operational Semantics of Constraint Logic Programs with Coroutining. | Andreas Podelski, Gert Smolka |
| 1995 | Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language. | Hans Nilsson, Torbjrn Trnkvist, Claes Wikstrm |
| 1995 | Constructing Logic Programs with Higher-Order Predicates. | Jrgen Fischer Nilsson, Andreas Hamfelt |
| 1995 | On the Practicality of Abstract Equation Systems. | Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe |
| 1995 | Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. | Juan Jos Moreno-Navarro |
| 1995 | Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. | Bern Martens, John P. Gallagher |
| 1995 | SLDNF, Constructive Negation and Grounding. | Vladimir Lifschitz |
| 1995 | Incremental Global Compilation of Prolog with the Vienna Abstract Machine. | Andreas Krall, Thomas Berger |
| 1995 | Integrating Abductive and Constraint Logic Programming. | Antonis C. Kakas, Antonia Michael |
| 1995 | ToonTalk - Concurrent Constraint Programming for Kids. | Kenneth M. Kahn |
| 1995 | Projections of Logic Programs using Symbol Mappings. | Ashish Jain |
| 1995 | On Composing Concurrent Logic Processes. | Jean-Marie Jacquet, Koenraad De Bosschere |
| 1995 | Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. | Hideki Isozaki, Hirofumi Katsuno |
| 1995 | Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus. | Keiji Hirata |
| 1995 | Incremental Analysis of Logic Programs. | Manuel V. Hermenegildo, Germn Puebla, Kim Marriott, Peter J. Stuckey |
| 1995 | Efficient Term Size Computation for Granularity Control. | Manuel V. Hermenegildo, Pedro Lpez-Garca |
| 1995 | Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. | Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro |
| 1995 | A Generic Algorithm for CLP Analysis. | Nevin Heintze, Joxan Jaffar |
| 1995 | Hybrid Implementation Techniques in Erlang BEAM. | Bogumil Hausman |
| 1995 | Model Generation Theorem Provers and Their Applications. | Ryuzo Hasegawa |
| 1995 | On Extra Variables in (Equational) Logic Programming. | Michael Hanus |