| 1996 | Specification of Complex Systems with Definite Clause Grammar (Poster Abstract). | H. Lewis Chau |
| 1996 | Cumulative Scheduling with Task Intervals. | Yves Caseau, Franois Laburthe |
| 1996 | Logic Programming Tools Applied to Fire Detection in Hard-coal Mines (Poster Abstract). | Wolfram Burgard, Armin B. Cremers, Dieter Fox, Angelica Maria Kappel, Stefan Lttringhaus-Kappel |
| 1996 | A Linear Logic Calculus Objects. | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |
| 1996 | A Compositional Semantics for Logic Programs and Deductive Databases. | Franois Bry |
| 1996 | Generating Rational Models (Poster Abstract). | Sven-Erik Bornscheuer |
| 1996 | Concurrency and Communication in Transaction Logic. | Anthony J. Bonner, Michael Kifer |
| 1996 | A Framework for a Modal Logic Programming. | Matteo Baldoni, Laura Giordano, Alberto Martelli |
| 1996 | On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). | Chandrabose Aravindan, Peter Baumgartner, Jrgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemel, Dorothea Schfer, Frieder Stolzenburg |
| 1995 | A Logic Programming Approach to Channel Routing. | Neng-Fa Zhou |
| 1995 | Program Dependence Analysis of Concurrent Logic Programs and Its Applications. | Jianjun Zhao, Jingde Cheng, Kazuo Ushijima |
| 1995 | On Coherence Approach to Logic Program Revision. | Li-Yan Yuan, Jia-Huai You |
| 1995 | Computing Prioritized Circumscription by Logic Programming. | Toshiko Wakaki, Ken Satoh |
| 1995 | Reduction of Abductive Logic Programs to Normal Logic Programs. | Francesca Toni, Robert A. Kowalski |
| 1995 | Type Synthesis for Logic Programs. | Jichang Tan, I-Peng Lin |
| 1995 | Relating Stable Models and AI Planning Domains. | V. S. Subrahmanian, Carlo Zaniolo |
| 1995 | Efficient Implementation of the Event Calculus for Temporal Database Applications. | Suryanarayana M. Sripada |
| 1995 | Oz: Concurrent Constraint Programming for Real. | Gert Smolka |
| 1995 | Applications of Constraint Logic Programming. | Helmut Simonis |
| 1995 | Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. | Yasuyuki Shirai, Ryuzo Hasegawa |
| 1995 | Making Query Processing Goal-Directed in Disjunctive Logic Databases. | Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh |
| 1995 | A Statistical Learning Method for Logic Programs with Distribution Semantics. | Taisuke Sato |
| 1995 | The Effect of Partial Deduction in Abductive Reasoning. | Chiaki Sakama, Katsumi Inoue |
| 1995 | An Analyzer for a Concurrent Constraint Language. | Dan Sahlin, Thomas Sjland |
| 1995 | Efficient Execution of HiLog in WAM-based Prolog Implementations. | Konstantinos Sagonas, David Scott Warren |