Lecture Notes in Computer Science

18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

By: Peter J. Stuckey (Editor)

Write A Review

Paperback | 17 July 2002 | Edition Number 18

At a Glance

Paperback
508 Pages

Dimensions(cm)
24.13 x 15.24 x 3.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 18th International Conference on Logic Programming, ICLP 2002, held in Copenhagen, Denmark, in July/August 2002.
The 29 revised full papers presented together with two invited contributions and 13 posters were carefully reviewed and selected from 82 submissions. All current aspects of logic programming and computational logic are addressed.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Medicine Medicine in General Computer Programming & Software Development Programming & Scripting Languages Mathematics Mathematical Foundation Mathematical Logic Systems Analysis & Design

Artificial Intelligence Software Engineering Compilers & Interpreters Computer Hardware

Invited Speakers
Representing Arithmetic Constraints with Finite Automata: An Overview	p. 1
Logic Databases on the Semantic Web: Challenges and Opportunities	p. 20
Conference Papers
An Abductive Approach for Analysing Event-Based Requirements Specifications	p. 22
Trailing Analysis for HAL	p. 38
Access Control for Deductive Databases by Logic Programming	p. 54
Reasoning about Actions with CHRs and Finite Domain Constraints	p. 70
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems	p. 85
Efficient Real-Time Model Checking
Using Tabled Logic Programming and Constraints	p. 100
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP	p. 115
A Model Theoretic Semantics for Multi-level Secure Deductive Databases	p. 130
Propagation Completeness of Reactive Constraints	p. 148
On Enabling the WAM with Region Support	p. 163
A Different Look at Garbage Collection for the WAM	p. 179
Copying Garbage Collection for the WAM: To Mark or Not to Mark?	p. 194
Logical Algorithms	p. 209
Logical Loops	p. 224
Learning in Logic with RichProlog	p. 239
Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification	p. 255
A Proof-Theoretic Foundation for Tabled Higher-Order Logic Programming	p. 271
Proving the Equivalence of CLP Programs	p. 287
A Purely Logical Account of Sequentiality in Proof Search	p. 302
Disjunctive Explanations	p. 317
Reasoning with Infinite Stable Models II: Disjunctive Programs	p. 333
Computing Stable Models: Worst-Case Performance Estimates	p. 347
Towards Local Search for Answer Sets	p. 363
A Rewriting Method for Well-Founded Semantics with Explicit Negation	p. 378
Embedding Defeasible Logic into Logic Programs	p. 393
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report	p. 405
Using Logic Programming to Detect Activities in Pervasive Healthcare	p. 421
Logic Programming for Software Engineering: A Second Chance	p. 437
A Logic-Based System for Application Integration	p. 452
Conference Papers
The Limits of Horn Logic Programs	p. 467
Multi-adjoint Logic Programming: A Neural Net Approach	p. 468
Fuzzy Prolog: A Simple General Implementation Using CLP(R)..	p. 469
Automated Analysis of CLP(FD) Program Execution Traces	p. 470
Schema-Based Transformations of Logic Programs in ?Prolog	p. 472
Non-uniform Hypothesis in Deductive Databases with Uncertainty	p. 473
Probabilistic Finite Domains: A Brief Overview	p. 475
Modelling Multi-agent Reactive Systems	p. 476
Integrating Planning, Action Execution, Knowledge Updates and Plan Modifications via Logic Programming	p. 477
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs	p. 478
TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP	p. 480
Logical Grammars Based on Constraint Handling Rules	p. 481
Debugging in A-Prolog: A Logical Approach	p. 482
Author Index	p. 485
Table of Contents provided by Publisher. All Rights Reserved.

Lecture Notes in Computer Science

18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002 Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Compilers & Interpreters

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

C# Programming in easy steps

Master C# fundamentals!

Applied Mathematics with F#

Bad Programming Practices 101

Become a Better Coder by Learning How (Not) to Program

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part II

Programming Languages and Systems

35th European Symposium on Programming, ESOP 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11â"16, 2026, Proceedings, Part I

Pragmatic Programmers

Pragmatic Programmers

Metaprogramming Elixir

Write Less Code, Get More Done (and Have Fun!)

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Introduction to Automata Theory and Formal Languages

A Logic Building and Problem-Solving Approach

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

International Perspectives on Science, Culture and Society

The Art of Automatic Memory Management

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Compilers

A Practical Approach

Definitive ANTLR 4 Reference

2nd Edition

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Artificial Intelligence Through Search

Diverse Ser.

Case-Based Learning

Mathematics and Its Applications

An Introduction to Computer-aided Pure Mathematics

Lecture Notes in Computer Science

Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings

The Springer International Engineering and Computer Science

KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE

This product is categorised by