Logic Programming

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

or

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 $79.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.

More in Computer Programming & Software Development

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Paperback

RRP $89.99

$64.99

28%
OFF

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$37.75

24%
OFF

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$72.99

32%
OFF

Addiction by Design

Machine Gambling in Las Vegas

Paperback

RRP $39.99

$33.75

16%
OFF

Coding For Kids For Dummies

For Kids for Dummies

Paperback

RRP $36.95

$29.75

19%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

Hardcover

RRP $168.00

$149.75

11%
OFF

Demystifying Game Studies

Paperback

RRP $94.99

$85.75

10%
OFF

Demystifying Game Studies

Hardcover

RRP $252.00

$219.75

13%
OFF

The Rust Programming Handbook : An end-to-end guide to mastering Rust fundamentals - Francesco Ciulla

$55.75

51%
OFF

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Paperback

RRP $43.75

$24.75

43%
OFF

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Paperback

RRP $41.95

$33.75

20%
OFF

Web Engineering : Theory and Practice - Jeremiah Downey

$Typesetting Mathematics With Latex - Robert Legato$

$90.75

24%
OFF

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.

Logic Programming

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 Computer Programming & Software Development

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

The C Programming Language

Prentice Hall Software

Addiction by Design

Machine Gambling in Las Vegas

Coding For Kids For Dummies

For Kids for Dummies

Python All-in-One For Dummies

3rd Edition

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

Demystifying Game Studies

Demystifying Game Studies

The Rust Programming Handbook

An end-to-end guide to mastering Rust fundamentals

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Web Engineering

Theory and Practice

The Essence of Software Engineering

Parallel Computing

Design and Analysis of Algorithms

Introduction to Programming Languages

Typesetting Mathematics With Latex

Semantics With Applications

Advanced Topics in Computer Science

Practical Probabilistic Programming

Practical Probabilistic Programming

Heuristic Algorithms Design

A Methodological Approach

Designing Semantic Knowledge Graphs

A Guide to Utilizing Semantic Web Technologies for Agile Data Management

The Art of Game Design

A Book of Lenses, Third Edition

This product is categorised by