Logic Programming and Automated Reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings - Harald Ganzinger

Instant online reading.
Don't wait for delivery!

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings

By: Harald Ganzinger (Editor), David McAllester (Editor), Andrei Voronkov (Editor)

Write A Review

Paperback | 25 August 1999

At a Glance

Paperback
416 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

or

Ships in 5 to 7 business days

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program committee and the additional referees for reviewing the papers in a very short time, to the organizing committee, and to the local organizers of the INTAS workshop in Tbilisi in April 1994 (Khimuri Rukhaia, Konstantin Pkhakadze, and Gela Chankvetadze). And last but not least, we would like to thank Konstantin - rovin, who maintained the program committee Web page; Uwe Waldmann, who supplied macros for these proceedings and helped us to install some programs for the electronic management of the program committee work; and Bill McCune, who implemented these programs.

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

Addiction by Design

Machine Gambling in Las Vegas

Paperback

RRP $39.99

$33.75

16%
OFF

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$72.99

32%
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

Proofs About Lists Using Ellipsis	p. 1
On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System	p. 13
Solving Combinatorial Problems with Regular Local Search Algorithms	p. 33
Evidence Algorithm and Sequent Logical Inference Search	p. 44
First Order Linear Temporal Logic over Finite Time Structures	p. 62
Model Checking Games for the Alternation-Free [mu]-Calculus and Alternating Automata	p. 77
Animating TLA Specifications	p. 92
Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems	p. 111
Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups	p. 131
Regular Sets of Descendants for Constructor-Based Rewrite Systems	p. 148
Practical Reasoning for Expressive Description Logics	p. 161
Complexity of Terminological Reasoning Revisited	p. 181
On the Complexity of Single-Rule Datalog Queries	p. 201
Abstracting Properties in Concurrent Constraint Programming	p. 223
A Fixpoint Semantics for Reasoning About Finite Failure	p. 238
Extensions to the Estimation Calculus	p. 258
Beth Definability for the Guarded Fragment	p. 273
Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas	p. 286
Resource Management in Linear Logic Proof Search Revisited	p. 304
Focusing and Proof-Nets in Linear and Non-commutative Logic	p. 320
CHAT Is [theta](SLG-WAM)	p. 337
Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog	p. 358
A Partial Evaluation Framework for Curry Programs	p. 376
Author Index	p. 397
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, 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)

Addiction by Design

Machine Gambling in Las Vegas

The C Programming Language

Prentice Hall Software

Coding For Kids For Dummies

For Kids for Dummies

Python All-in-One For Dummies

3rd Edition

The Pocket Mentor for Game Artists

The Pocket Mentors for Games Careers

Digital Image Security

Techniques and Applications

Digital Personality

A Man Forever Volume 2: Technical Aspects

Digital Personality: A Man Forever

Volume 1: Introduction

The Pocket Mentor for Game Artists

The Pocket Mentors for Games Careers

Data Modelling and Analytics for the Internet of Medical Things

Deep Learning for Smart Healthcare

Trends, Challenges and Applications

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

Computer Vision

Object Detection In Adversarial Vision

Deep Learning for Multimedia Processing Applications

Volume Two: Signal Processing and Pattern Recognition

Deep Learning for Multimedia Processing Applications

Volume One: Image Security and Intelligent Systems for Multimedia Processing

Exploring Blockchain Applications

Management Perspectives

Innovation in the University 4.0 System based on Smart Technologies

Intelligent Systems and Industrial Internet of Things for Sustainable Development

Digital Technologies and Innovative Solutions for Sustainable Development

Introduction to Engineering and Scientific Computing with Python

Operating Systems

Evolutionary Concepts and Modern Design Principles

Demystifying Game Studies

Demystifying Game Studies

This product is categorised by