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

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

Java in Two Semesters

Includes JavaFX

Applied Mathematics with F#

NUnit Pocket Reference

Pocket Reference (O'Reilly)

Flex & Bison

O'Reilly Ser.

Clean Ruby

A Guide to Crafting Better Code for Rubyists

Modern Systems Programming with Scala Native

Write Lean, High-Performance Code Without the Jvm

Metaprogramming Elixir

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

Pragmatic Programmers

Pragmatic Programmers

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems

8th International Workshop, EXTRAAMAS 2026, Paphos, Cyprus, May 25-26, 2026, Revised Selected Papers

Compilers

Principles, Techniques, and Tools

Compilers: Pearson New International Edition 2ed

Principles, Techniques, and Tools

Advanced Asic Chip Synthesis : Using Synopsis Design Compiler and Primetime

Practical Marko

Progressive HTML Rendering and Micro Front-Ends

Bad Programming Practices 101

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

Compilers

A Practical Approach

C++ Programming in easy steps: 6th Edition

Updated for the GNU C Compiler and Visual Studio 2022

Informatics in Schools. Challenges and Opportunities in Informatics Education in the Era of AI

19th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2026, Tallinn, Estonia, September 20â"23, 2026, Proceedings

Definitive ANTLR 4 Reference

2nd Edition

Make Games with GameMaker

A Practical Guide to GML, Game Systems, and Publishing

Putting the C in the C64

A Practical Guide To Programming the Commodore 64 with C and CC65

OpenMP: Adaptability for Heterogeneous Multi-Device Systems

22nd International Workshop on OpenMP, IWOMP 2026, Vienna, Austria, October 7â"9, 2026, Proceedings

Advanced Multimodal Sentiment Analysis Across Text Images and Video

Advanced Object Detection and Motion Analysis in Smart Surveillance

Advanced AI and Deep Learning Architectures in Autonomous Computer Vision Surveillance

This product is categorised by