My Wish Lists Login / Join

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

The Reverse Centaur's Guide to Life After AI

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

The God We Made

The Threat and Promise of Artificial Intelligence; Quarterly Essay 102

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

Nexus

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

Empire of AI

Inside the reckless race for total domination

AI Powered Digital Twins

A Guide for Humans, Engineers, and Enterprises

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Project Maven

A Marine Colonel, His Team, and the Dawn of AI Warfare

Effect-Driven Interpretation

Functors for Natural Language Composition

Effect-Driven Interpretation

Functors for Natural Language Composition

Reinforcement Learning Foundations

Artificially Yours

Real Friendship in a World of Chatbots

AI for Public Relations

A How-To Guide for Implementation and Management

AI and Data Science in Medical Research

New Developments and Advances

Artificial Intelligence in Religious Practice

Bots, Robots, and Generative AI

Proceedings of the 7th International Conference on Cloud Computing and Artificial Intelligence

Technologies and Applications (CloudTech'25)

Machine and Computing Technologies for Sustainable Development

Proceedings of MCT4SD 2025, Volume 3

Soft Computing: Theories and Applications

Proceedings of SoCTA 2025, Volume 2

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

Multi-Robot Collaboration

The Enabling Technologies and Their Relevance in Today's Industrial Landscape

AI and Accountability

Shaping Ethical Governance in the Age of Algorithms

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

DL-based Multidimensional Signals Analysis and Processing

Proceedings of 7th International Conference on 3D Imaging Technologies 2025, Volume 1

This product is categorised by