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

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

Co-Existence

The Next Phase of AI

The AGI Chronicles

The Inside Story of the Race to Create an Artificial Superintelligence

God AI

Boom or Doom? What to Expect When Machines Outsmart Us

Nexus

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

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

Empire of AI

Inside the reckless race for total domination

HBR's 10 Must Reads 2027

The Definitive Management Ideas of the Year from Harvard Business Review (featuring 'The Hidden Beliefs That Hold Leaders Back' by Muriel M. Wilkins)

The Reverse Centaur's Guide to Life After AI

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

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

The Year in Tech, 2027

The Insights You Need from Harvard Business Review

Co-Intelligence

Living and Working with AI

AI at Work

How to Build a Full Stack Organization

Artificial Intelligence and Machine Learning

Concepts, Applications, and Ethical Consideration

The Coming Wave

AI, Power and the 21st Century's Greatest Dilemma

Cybersecurity Policy Guidebook

AI-Powered Business Analytics

From Data to Decisions

Artificial Intelligence in Physical Education

Disruptions, Dilemmas, and Directions

AI-Driven Plant Biotechnology

AI-Driven Plant Biotechnology

Agile, DevOps, Testing, Low Code, and AI

Applications to Software Development

Agile, DevOps, Testing, Low Code, and AI

Applications to Software Development

Python Using GPT-5 and Gemini

Virtual Reality Therapy in the Metaverse

A Clinician's Guide to Getting Started with Virtual Reality-Based Psychotherapy

Artificial Intelligence in Modeling and Simulation

Simulation Foundations, Methods and Applications

This product is categorised by