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

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

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
A Generic Algorithm for CLP Analysis
49
Variants of the Event Calculus
67
Combining Situation Calculus and Event Calculus
83
Efficient Implementation of the Event Calculus for Temporal Database
99
Constraints II
112
Finite Domain and Cutting Plane Techniques in CLP PB
133
Dynamic Deductive Data Bases With Steady Behaviour
183
Disjunctive Semantics Based upon Partial and BottomUp Evaluation
199
Stefan Brass and Jiirgen Dix
212
Relating Stable Models and AI Planning Domains
233
Two Approaches for FiniteDomain Constraint Satisfaction Problems
249
Experimenting with Nonmonotonic Reasoning
267
Pawel Cholewinski V Wiktor Marek Artur Mikitiuk and Miroslaw
832
Copyright

A Reactive Constraint Logic Programming Scheme
157

Common terms and phrases

About the author (1995)

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

Bibliographic information