Logic Programming: Proceedings of the Twelfth International Conference on Logic Programming

Front Cover
Leon Sterling
MIT Press, 1995 - Computers - 834 pages

Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.

13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.

Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. Logic Programming series, Research Reports and Notes

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Model Generation Theorem Provers and Their Applications
7
Linear Equation Solving for Constraint Logic Programming
33
Jennifer Burg Peter J Stuckey Jason C H Tai and Roland H C
49
Variants of the Event Calculus
67
Combining Situation Calculus and Event Calculus
83
Efficient Implementation of the Event Calculus for Temporal Database
99
Compiling and Executing Disjunctions of Finite Domain Constraints
117
Björn Carlson and Mats Carlsson
133
Incremental Global Compilation of Prolog with the Vienna Abstract
333
Efficient Execution of HiLog in WAMbased Prolog Implementations
349
Reduction of Abductive Logic Programs to Normal Logic Programs
367
The Effect of Partial Deduction in Abductive Reasoning
383
Chiaki Sakama and Katsumi Inoue
399
Constraint Enforcement and Retraction
417
Philippe Codognet and Francesca Rossi
433
Operational Semantics of Constraint Logic Programs with
449

Peter Barth and Alexander Bockmayr
149
On Coherence Approach to Logic Program Revision
167
Dynamic Deductive Data Bases With Steady Behaviour
183
Dekhtyar and Alexander Ja Dikovsky
199
Stefan Brass and Jürgen Dix
212
Relating Stable Models and Al Planning Domains
233
Two Approaches for FiniteDomain Constraint Satisfaction Problems
249
Experimenting with Nonmonotonic Reasoning
267
Computing Prioritized Circumscription by Logic Programming
283
A Modal Calculus of Partially Ordered Events in a Logic Programming
299
Compiling Prolog to C
317
Andreas Podelski and Gert Smolka
463
A Transformation System for Modular CLP Programs
681
Efficient Tabling Mechanisms for Logic Programs
697
A Statistical Learning Method for Logic Programs with Distribution
715
Preference Logic Programming
731
Two Aspects of Directional Types
747
Type Inferencing for Polymorphic OrderSorted Logic Programs
765
On the Practicality of Abstract Equation Systems
781
Incremental Analysis of Logic Programs
797
Shallow Backtracking Points in an Intelligent Backtracking Schema
815
Copyright

Common terms and phrases

About the author (1995)

Leon S. Sterling is Director of eResearch and Chair of Software Innovation and Engineering at the University of Melbourne. He is the coauthor of The Art of Prolog (second edition, MIT Press, 1994) and the editor of The Practice of Prolog (MIT Press, 1990).

Bibliographic information