| 1995 | A Decision Graph Algorithm for CCP Languages. Per Brand |
| 1995 | A Generic Algorithm for CLP Analysis. Nevin Heintze, Joxan Jaffar |
| 1995 | A Logic Programming Approach to Channel Routing. Neng-Fa Zhou |
| 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 | A New Procedural Interpretation of Horn Clauses with Equality. Anatoli Degtyarev, Andrei Voronkov |
| 1995 | A Reactive Constraint Logic Programming Scheme. François Fages, Julian Fowler, Thierry Sola |
| 1995 | A Statistical Learning Method for Logic Programs with Distribution Semantics. Taisuke Sato |
| 1995 | A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. Anna Formica, Michele Missikoff, Roberto Terenzi |
| 1995 | A Transformation System for Modular CLP Programs. Sandro Etalle, Maurizio Gabbrielli |
| 1995 | Abduction with Clark Completion. T. H. Fung |
| 1995 | Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language. Hans Nilsson, Torbjörn Törnkvist, Claes Wikström |
| 1995 | An Analyzer for a Concurrent Constraint Language. Dan Sahlin, Thomas Sjöland |
| 1995 | Applications of Constraint Logic Programming. Helmut Simonis |
| 1995 | Combining Situation Calculus and Event Calculus. Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
| 1995 | Compiling and Executing Disjunctions of Finite Domain Constraints. Björn Carlson, Mats Carlsson |
| 1995 | Computing Prioritized Circumscription by Logic Programming. Toshiko Wakaki, Ken Satoh |
| 1995 | Constructing Logic Programs with Higher-Order Predicates. Jørgen Fischer Nilsson, Andreas Hamfelt |
| 1995 | Determinacy Driven Optimizations of And-Parallel Prolog Implementations. Enrico Pontelli, Gopal Gupta, Dongxing Tang |
| 1995 | Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. Stefan Brass, Jürgen Dix |
| 1995 | Dynamic Deductive Data Bases With Steady Behaviour. Michael I. Dekhtyar, Alexander Ja. Dikovsky |
| 1995 | Efficient Execution of HiLog in WAM-based Prolog Implementations. Konstantinos Sagonas, David Scott Warren |
| 1995 | Efficient Implementation of the Event Calculus for Temporal Database Applications. Suryanarayana M. Sripada |
| 1995 | Efficient Tabling Mechanisms for Logic Programs. I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren |
| 1995 | Efficient Term Size Computation for Granularity Control. Manuel V. Hermenegildo, Pedro López-García |
| 1995 | Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. Bern Martens, John P. Gallagher |
| 1995 | Experimenting with Nonmonotonic Reasoning. Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski |
| 1995 | Finite Domain and Cutting Plane Techniques in CLP(PB). Peter Barth, Alexander Bockmayr |
| 1995 | Hybrid Implementation Techniques in Erlang BEAM. Bogumil Hausman |
| 1995 | Incremental Analysis of Logic Programs. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey |
| 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 | Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. C. K. Chiu, J. H. M. Lee |
| 1995 | Linear Equation Solving for Constraint Logic Programming. Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap |
| 1995 | Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995 Leon Sterling |
| 1995 | Making Query Processing Goal-Directed in Disjunctive Logic Databases. Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
| 1995 | Model Generation Theorem Provers and Their Applications. Ryuzo Hasegawa |
| 1995 | Modeling OR-Parallel Execution of Prolog using CHOCS. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone |
| 1995 | NMCC Programming: Constraint Enforcement and Retracting in CC Programming. Philippe Codognet, Francesca Rossi |
| 1995 | On Coherence Approach to Logic Program Revision. Li-Yan Yuan, Jia-Huai You |
| 1995 | On Composing Concurrent Logic Processes. Jean-Marie Jacquet, Koenraad De Bosschere |
| 1995 | On Extra Variables in (Equational) Logic Programming. Michael Hanus |
| 1995 | On the Practicality of Abstract Equation Systems. Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe |
| 1995 | Operational Semantics of Constraint Logic Programs with Coroutining. Andreas Podelski, Gert Smolka |
| 1995 | Oz: Concurrent Constraint Programming for Real. Gert Smolka |
| 1995 | Preference Logic Programming. Kannan Govindarajan, Bharat Jayaraman, Surya Mantha |
| 1995 | Program Dependence Analysis of Concurrent Logic Programs and Its Applications. Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1995 | Projections of Logic Programs using Symbol Mappings. Ashish Jain |
| 1995 | Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus. Keiji Hirata |
| 1995 | Reduction of Abductive Logic Programs to Normal Logic Programs. Francesca Toni, Robert A. Kowalski |
| 1995 | Relating Stable Models and AI Planning Domains. V. S. Subrahmanian, Carlo Zaniolo |
| 1995 | Representing Logic Program Schemata in lambda-Prolog. Timothy S. Gegg-Harrison |
| 1995 | SLDNF, Constructive Negation and Grounding. Vladimir Lifschitz |
| 1995 | Semantical Properties of SLD-Resolution with Reflection. Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone |
| 1995 | Shallow Backtracking Points in an Intelligent Backtracking Schema. Ilyas Cicekli |
| 1995 | Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. Gopal Gupta, Vítor Santos Costa, Enrico Pontelli |
| 1995 | Situated Simplification. Andreas Podelski, Gert Smolka |
| 1995 | Tempo: A Declarative Concurrent Programming Language. Steve Gregory, Rafael Ramírez |
| 1995 | The Effect of Partial Deduction in Abductive Reasoning. Chiaki Sakama, Katsumi Inoue |
| 1995 | ToonTalk - Concurrent Constraint Programming for Kids. Kenneth M. Kahn |
| 1995 | Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. Hideki Isozaki, Hirofumi Katsuno |
| 1995 | Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. Juan José Moreno-Navarro |
| 1995 | Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. Yasuyuki Shirai, Ryuzo Hasegawa |
| 1995 | Two Aspects of Directional Types. Johan Boye, Jan Maluszynski |
| 1995 | Type Inferencing for Polymorphic Order-Sorted Logic Programs. Christoph Beierle |
| 1995 | Type Synthesis for Logic Programs. Jichang Tan, I-Peng Lin |
| 1995 | Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro |
| 1995 | Variants of the Event Calculus. Fariba Sadri, Robert A. Kowalski |
| 1995 | WAMCC: Compiling Prolog to C. Philippe Codognet, Daniel Diaz |