Logic Programming

Proceedings of the 1999 International Conference on Logic Programming

By: Danny De Schreye

Write A Review

Paperback | 8 November 1999

At a Glance

Paperback
644 Pages

Age
18+

Dimensions(cm)
0.1 x 0.1 x 0.1

Paperback

RRP $200.00

$148.75

26%OFF

or 4 interest-free payments of $37.19 with

Ships in 3 to 5 business days

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.

The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.

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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Computer Programming & Software Development Object-Oriented Programming or OOP Artificial Intelligence Machine Learning

Program Committee
The Association for Logic Programming
Series Foreword
Preface
Referees
Declarative Programming for a Messy World	p. 3
Logics and Database Modeling	p. 6
Adventures in the Prolog Trade	p. 22
Answer Set Planning	p. 23
Logic Programming in Oz with Mozart	p. 38
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor	p. 52
From Prolog and Zelda to ToonTalk	p. 67
Disjunctive Logic Programs with Inheritance	p. 79
Event, Property, and Hierarchy in Order-Sorted Logic	p. 94
Temporal Probabilistic Logic Programs	p. 109
An Optimized Prolog Encoding of Typed Feature Structures	p. 124
A Generic Approach to Monitor Program Executions	p. 139
Generating Deductive Database Explanations	p. 154
Computing Large and Small Stable Models	p. 169
Algebra of Logic Programming	p. 184
Semantic Definitions for Normal Open Programs	p. 200
Declarative Priority in a Concurrent Logic Language O[subscript N]	p. 215
Revising Hull and Box Consistency	p. 230
CLAIRE: Combining Sets, Search, and Rules to Better Express Algorithms	p. 245
Herbrand Constraint Solving in HAL	p. 260
Comparing Trailing and Copying for Constraint Programming	p. 275
Stack-splitting: Or-/And-parallelism on Distributed Memory Machines	p. 290
Mutable Terms in a Tabled Logic Programming System	p. 305
Concurrency in Prolog Using Threads and a Shared Database	p. 320
Proving Termination of Input-Consuming Logic Programs	p. 335
Bounded Nondeterminism of Logic Programs	p. 350
Termination Analysis for Abductive General Logic Programs	p. 365
The Relative Complement Problem for Higher-Order Patterns	p. 380
Extensionality of Simply Typed Logic Programs	p. 395
Lightweight Lemmas in [lamda]Prolog	p. 411
Well-founded Abduction via Tabled Dual Programs	p. 426
Optimization of Disjunctive Queries	p. 441
Well-founded Semantics by Transformation: The Non-ground Case	p. 456
Monotonicity in Rule Based Update	p. 471
Transforming Inductive Definitions	p. 486
Binding-time Analysis for Mercury	p. 500
Solving TSP with Time Windows with Constraints	p. 515
Finding Fair Allocations for the Coalition Problem with Constraints	p. 530
Constraint-based Round Robin Tournament Planning	p. 545
Logic Programming with Requests	p. 558
ACI1 Constraints	p. 573
Declarative Pruning in a Functional Query Language	p. 588
Adding Functions to SICStus Prolog	p. 605
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems	p. 606
It Is Declarative	p. 607
Domains as First Class Objects in CLP(FD)	p. 608
A Characterization of Acceptability	p. 609
A Static Analysis for Classical Linear Logic Programming Language	p. 610
Isoinitial Models for Logic Programs: Some Preliminary Results	p. 611
Implementing Prolog with Chronological Garbage Collection	p. 612
A Regular Type Analysis of Logic Programs	p. 613
Using Static Analysis to Compile Non-sequential Functional Logic Programs	p. 614
Practical Investigation of Constraints with Graph Views	p. 615
Generalized Unfold/fold Transformation Systems for Normal Logic Programs	p. 616
Reactive Logic Programming by Reinforcement Learning	p. 617
A Linear Tabling Mechanism	p. 618
Author Index	p. 619
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Programming

Proceedings of the 1999 International Conference on Logic Programming

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

The Reverse Centaur's Guide to Life After AI

How to Think About Artificial Intelligence Before It's Too Late

Empire of AI

Inside the reckless race for total domination

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The Infinity Machine

Demis Hassabis, DeepMind and the Quest for Superintelligence

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Co-Intelligence

Living and Working with AI

Practical Multi-Agent AI Systems

How to Architect, Build, and Scale Next-Generation AI Systems That Work in the Real World

WORLDING

A Guide for Creators in Changing Times

Wise AI

Using powerful technology in a deeply human way

Aquaculture with Artificial Intelligence

Emerging Technologies for Sustainable Industry Development

Artificially Yours

Real Friendship in a World of Chatbots

Emissaries Guide to Worlding

AI for Public Relations

A How-To Guide for Implementation and Management

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Recent Advances in Information Systems

Proceedings of the ICRAIS, Pointe aux Piments, Mauritius, 10-12 September 2025

Claude For Dummies

Statistics in Clinical Development of Cancer Drugs

Recent Trends & Advances

Artificial Intelligence in Modeling and Simulation

Simulation Foundations, Methods and Applications

Data Science and Social Research III

Epistemology, Methods, Technology, Applications, and Relation to Artificial Intelligence

Securing the Internet of Things

Machine Learning and Beyond

Digital Twin Pose Detection for Mechanical Equipment

Theory and Methods for Intelligent Multi-Source Pose Deduction and Reconstruction of Fully-Mechanized Mining Equipment Clusters

Mathematics of Uncertainty Applied to Global Issues

Sustainability, Mistreatment of Women, Nuclear Power, Smart Cities, Digitalization

This product is categorised by