Logic Programming

The 1997 International Symposium

By: Jan Maluszynski (Editor)

Write A Review

Paperback | 10 October 1997

At a Glance

Paperback
444 Pages

Age
18+

Dimensions(cm)
22.61 x 17.27 x 2.29

Paperback

RRP $220.00

$162.75

26%OFF

or 4 interest-free payments of $40.69 with

or

Ships in 25 to 30 business days

The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet. "Logic Programming series, Research Reports and Notes"

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 Programming & Scripting Languages

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$77.75

27%
OFF

Python Crash Course

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

Paperback

RRP $89.99

$64.99

28%
OFF

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Hardcover

RRP $45.00

$35.75

21%
OFF

Python Automation For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $57.95

$44.75

23%
OFF

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Paperback

RRP $66.75

$34.99

48%
OFF

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF

Python Workout, Second Edition : 200 ten-minute exercises - Reuven Lerner

$55.75

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Hardcover

RRP $91.30

$65.75

28%
OFF

Introduction to Programming Languages

Hardcover

$457.75

$Typesetting Mathematics With Latex - Robert Legato$

$55.75

51%
OFF

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF

Python for Excel

A Modern Environment for Automation and Data Analysis

Paperback

RRP $125.75

$60.99

51%
OFF

C# 12 in a Nutshell

The Definitive Reference

Paperback

RRP $133.00

$64.75

51%
OFF

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Paperback

RRP $82.95

$60.75

27%
OFF

Introduction to Machine Learning with Python

A Guide for Data Scientists

Paperback

RRP $114.00

$55.75

51%
OFF

C++ Programming Language, The

Hardcover

RRP $117.91

$102.99

13%
OFF

Artificial Intelligence Programming with Python

From Zero to Hero

Paperback

RRP $65.95

$48.75

26%
OFF

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Programming Rust

Fast, Safe Systems Development 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Learning Python : Powerful Object-Oriented Programming - Mark Lutz

$55.75

51%
OFF

Program Committee
The Association for Logic Programming
Series Foreword
Preface
Referees
Temporal Logic Model Checking	p. 3
Program Analysis via Graph Reachability	p. 5
Inductive Databases and Condensed Representations for Data Mining	p. 21
Logic Programming Tools for Advanced Internet Programming	p. 33
Set-based Analysis of Logic Programs and Reactive Logic Programs	p. 35
Constraint Programming in Oz	p. 37
Model Checking	p. 39
Logic Programming for Processing Natural Language	p. 41
Multi-Paradigm Declarative Programming	p. 43
Transaction Logic: An Introduction	p. 47
Programming with Global Analysis	p. 49
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types	p. 53
Answer Sets for Prioritized Logic Programs	p. 69
Generated Preferred Models and Extensions of Nonmonotonic Systems	p. 85
Comparative Metric Semantics for Commit in Or-Parallel Logic Programming	p. 101
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems	p. 117
Using SimICS to Evaluate the Penny System	p. 133
Extending a Concurrent Constraint Language by Propagators	p. 149
A Rational and Efficient Algorithm for View Deletion in Databases	p. 165
NP Optimization Problems in Datalog	p. 181
Prioritized Conflict Handling for Logic Programs	p. 197
A Procedure for Mediation of Queries to Sources in Disparate Contexts	p. 213
Calculi for Disjunctive Logic Programming	p. 229
A Characterization of the Partial Stable Models For Disjunctive Deductive Databases	p. 245
Lower-bound Time-complexity Analysis of Logic Programs	p. 261
Recursive Modes for Precise Analysis of Logic Programs	p. 277
Lower Bound Cost Estimation for Logic Programs	p. 291
Constraint Logic Programming with Hereditary Harrop Formulas	p. 307
On T Logic Programming	p. 323
Best-First Search in Property Maintenance for Reactive Constraints Systems	p. 339
From Functional Specifications to Logic Programs	p. 355
Compositionality of Normal Open Logic Programs	p. 371
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information	p. 387
On Well-Behaved Semantics Suitable for Aggregation	p. 405
OPENLOG: A Logical Language to Program Reactive and Rational Agents	p. 406
Type Inference for CLP(FD)	p. 407
Disjunctive Completion Is Not "Optimal"	p. 408
Controlling the Search in Tabled Evaluations	p. 409
Specialization of Declarative Programs and Its Applications	p. 413
Dynamics '97: (Trans)Actions and Change in Logic Programming and Deductive Databases	p. 415
Tools and Environments for (Constraint) Logic Programming	p. 417
Logic Programming and Knowledge Representation (LPKR'97)	p. 419
Verification, Model Checking and Abstract Interpretation	p. 421
Author Index	p. 423
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Programming

The 1997 International Symposium

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

The C Programming Language

Prentice Hall Software

Python Crash Course

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

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python Automation For Dummies

For Dummies (Computer/Tech)

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Python All-in-One For Dummies

3rd Edition

Python Workout, Second Edition

200 ten-minute exercises

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Practical Guide

Effective Modern C++

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

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python for Excel

A Modern Environment for Automation and Data Analysis

C# 12 in a Nutshell

The Definitive Reference

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

Introduction to Machine Learning with Python

A Guide for Data Scientists

C++ Programming Language, The

Artificial Intelligence Programming with Python

From Zero to Hero

Fluent Python

Clear, Concise, and Effective Programming 2nd Edition

Programming Rust

Fast, Safe Systems Development 2nd Edition

Learning Python

Powerful Object-Oriented Programming

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

This product is categorised by