12. ICLP 1995: Tokyo, Japan

Leon Sterling (Ed.): Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, June 13-16, 1995, Tokyo, Japan. MIT Press 1995, ISBN 0-262-69177-9

Invited Talks

Kenneth M. Kahn: ToonTalk - Concurrent Constraint Programming for Kids. 3 BibTeX

Advanced Tutorials

Ryuzo Hasegawa: Model Generation Theorem Provers and Their Applications. 7 BibTeX
Helmut Simonis: Applications of Constraint Logic Programming. 9-11 BibTeX
Gert Smolka: Oz: Concurrent Constraint Programming for Real. 13 BibTeX

Constraints I

C. K. Chiu, J. H. M. Lee: Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. 17-31 BibTeX
Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap: Linear Equation Solving for Constraint Logic Programming. 33-47 BibTeX
Nevin Heintze, Joxan Jaffar: A Generic Algorithm for CLP Analysis. 49-63 BibTeX

Representing Actions in Logic Programming

Fariba Sadri, Robert A. Kowalski: Variants of the Event Calculus. 67-81 BibTeX
Kristof Van Belleghem, Marc Denecker, Danny De Schreye: Combining Situation Calculus and Event Calculus. 83-97 BibTeX
Suryanarayana M. Sripada: Efficient Implementation of the Event Calculus for Temporal Database Applications. 99-113 BibTeX

Constraints II

Björn Carlson, Mats Carlsson: Compiling and Executing Disjunctions of Finite Domain Constraints. 117-131 BibTeX
Peter Barth, Alexander Bockmayr: Finite Domain and Cutting Plane Techniques in CLP(PB). 133-147 BibTeX
François Fages, Julian Fowler, Thierry Sola: A Reactive Constraint Logic Programming Scheme. 149-163 BibTeX

Databases

Li-Yan Yuan, Jia-Huai You: On Coherence Approach to Logic Program Revision. 167-181 BibTeX
Michael I. Dekhtyar, Alexander Ja. Dikovsky: Dynamic Deductive Data Bases With Steady Behaviour. 183-197 BibTeX
Stefan Brass, Jürgen Dix: Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. 199-213 BibTeX

Applications

Neng-Fa Zhou: A Logic Programming Approach to Channel Routing. 217-231 BibTeX
V. S. Subrahmanian, Carlo Zaniolo: Relating Stable Models and AI Planning Domains. 233-247 BibTeX
Yasuyuki Shirai, Ryuzo Hasegawa: Two Approaches for Finite-Domain Constraint Satisfaction Problems - CP and CMGTP. 249-263 BibTeX

Nonmonotonic Reasoning

Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski: Experimenting with Nonmonotonic Reasoning. 267-281 BibTeX
Toshiko Wakaki, Ken Satoh: Computing Prioritized Circumscription by Logic Programming. 283-297 BibTeX
Iliano Cervesato, Luca Chittaro, Angelo Montanari: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework. 299-313 BibTeX

Compiling

Philippe Codognet, Daniel Diaz: WAMCC: Compiling Prolog to C. 317-331 BibTeX
Andreas Krall, Thomas Berger: Incremental Global Compilation of Prolog with the Vienna Abstract Machine. 333-347 BibTeX
Konstantinos F. Sagonas, David Scott Warren: Efficient Execution of HiLog in WAM-based Prolog Implementations. 349-363 BibTeX

Abduction

Francesca Toni, Robert A. Kowalski: Reduction of Abductive Logic Programs to Normal Logic Programs. 367-381 BibTeX
Chiaki Sakama, Katsumi Inoue: The Effect of Partial Deduction in Abductive Reasoning. 383-397 BibTeX
Antonis C. Kakas, A. Michael: Integrating Abductive and Constraint Logic Programming. 399-413 BibTeX

CC Languages

Philippe Codognet, Francesca Rossi: NMCC Programming: Constraint Enforcement and Retracting in CC Programming. 417-431 BibTeX
Per Brand: A Decision Graph Algorithm for CCP Languages. 433-447 BibTeX
Andreas Podelski, Gert Smolka: Operational Semantics of Constraint Logic Programs with Coroutining. 449-463 BibTeX

Programming Techniques

Timothy S. Gegg-Harrison: Representing Logic Program Schemata in lambda-Prolog. 467-481 BibTeX
Ashish Jain: Projections of Logic Programs using Symbol Mappings. 483-496 BibTeX
Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden: A Method for Implementing Equational Theories as Logic Programs. 497-511 BibTeX

Concurrency

Steve Gregory, Rafael Ramirez: Tempo: A Declarative Concurrent Programming Language. 515-529 BibTeX
Jean-Marie Jacquet, Koenraad De Bosschere: On Composing Concurrent Logic Processes. 531-545 BibTeX
Roberto Barbuti, Nicoletta De Francesco, Antonella Santone: Modeling OR-Parallel Execution of Prolog using CHOCS. 547-561 BibTeX

Theory

Anatoli Degtyarev, Andrei Voronkov: A New Procedural Interpretation of Horn Clauses with Equality. 565-579 BibTeX
Vladimir Lifschitz: SLDNF, Constructive Negation and Grounding. 581-595 BibTeX
Bern Martens, John P. Gallagher: Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. 597-611 BibTeX

Parallel Implementation

Enrico Pontelli, Gopal Gupta, Dongxing Tang: Determinacy Driven Optimizations of And-Parallel Prolog Implementations. 615-629 BibTeX
Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro: Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. 631-645 BibTeX
Manuel V. Hermenegildo, Pedro López-García: Efficient Term Size Computation for Granularity Control. 647-661 BibTeX

Program Manipulation

Michael Hanus: On Extra Variables in (Equational) Logic Programming. 665-679 BibTeX
Sandro Etalle, Maurizio Gabbrielli: A Transformation System for Modular CLP Programs. 681-695 BibTeX
I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren: Efficient Tabling Mechanisms for Logic Programs. 697-711 BibTeX

Novel Formalisms

Taisuke Sato: A Statistical Learning Method for Logic Programs with Distribution Semantics. 715-729 BibTeX
Kannan Govindarajan, Bharat Jayaraman, Surya Mantha: Preference Logic Programming. 731-745 BibTeX
Johan Boye, Jan Maluszynski: Two Aspects of Directional Types. 747-761 BibTeX

Program Analysis

Christoph Beierle: Type Inferencing for Polymorphic Order-Sorted Logic Programs. 765-779 BibTeX
Anne Mulkers, Wim Simoens, Gerda Janssens, Maurice Bruynooghe: On the Practicality of Abstract Equation Systems. 781-795 BibTeX
Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. 797-811 BibTeX

Poster Abstracts

Ilyas Cicekli: Shallow Backtracking Points in an Intelligent Backtracking Schema. 815 BibTeX
Bogumil Hausman: Hybrid Implementation Techniques in Erlang BEAM. 816 BibTeX
T. H. Fung: Abduction with Clark Completion. 817 BibTeX
Keiji Hirata: Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus. 818 BibTeX
Anna Formica, Michele Missikoff, Roberto Terenzi: A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. 819 BibTeX
Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh: Making Query Processing Goal-Directed in Disjunctive Logic Databases. 820 BibTeX
Hans Nilsson, Torbjörn Törnkvist, Claes Wikstrom: Amnesia - A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language. 821 BibTeX
Hideki Isozaki, Hirofumi Katsuno: Transformation of Transaction Logic Programs based on Estimation of Transaction Execution Paths. 822 BibTeX
Jichang Tan, I-Peng Lin: Type Synthesis for Logic Programs. 823 BibTeX
Gopal Gupta, Vítor Santos Costa, Enrico Pontelli: Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. 824 BibTeX
Jianjun Zhao, Jingde Cheng, Kazuo Ushijima: Program Dependence Analysis of Concurrent Logic Programs and Its Applications. 825 BibTeX
Andreas Podelski, Gert Smolka: Situated Simplification. 826 BibTeX
Jørgen Fischer Nilsson, Andreas Hamfelt: Constructing Logic Programs with Higher-Order Predicates. 827 BibTeX
Dan Sahlin, Thomas Sjöland: An Analyzer for a Concurrent Constraint Language. 828 BibTeX
Juan José Moreno-Navarro: Tuple Inheritance: A New Kind of Inheritance for (Constraint) Logic Programming. 829 BibTeX
Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone: Semantical Properties of SLD-Resolution with Reflection. 830 BibTeX