Logic Programming and Nonmonotonic Reasoning

9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings

By: Chitta Baral (Editor), John Schlipf (Editor), Gerhard Brewka (Editor)

Write A Review

Paperback | 27 April 2007

At a Glance

Paperback
344 Pages

Dimensions(cm)
23.5 x 15.5 x 1.9

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2007, held in Tempe, AZ, USA, May 2007. This conference encompasses theoretical studies, design and implementation of logic based programming languages and database systems, and development of experimental systems.

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 Philosophy Artificial Intelligence Mathematics Mathematical Foundation Mathematical Logic Computer Programming & Software Development Object-Oriented Programming or OOP Software Engineering

Logic programming and nonmonotonic reasoning : from theory to systems and applications	p. 1
Policy-based computing : from systems and applications to theory	p. 2
The first answer set programming system competition	p. 3
CR-models : an inference engine for CR-prolog	p. 18
Debugging ASP programs by means of ASP	p. 31
A purely model-theoretic semantics for disjunctive logic programs with negation	p. 44
Complexity of default logic on generalized conjunctive queries	p. 58
A preference-based framework for updating logic programs	p. 71
Well-founded semantics and the algebraic theory of non-monotone inductive definitions	p. 84
On the complexity of answer set programming with aggregates	p. 97
Experimenting with look-back heuristics for hard ASP programs	p. 110
Complexity of rule redundancy in non-ground answer-set programming over finite domains	p. 123
Conflict-driven answer set enumeration	p. 136
Head-elementary-set-free logic programs	p. 149
A deductive system for PC(ID)	p. 162
Modularity aspects of disjunctive stable models	p. 175
A characterization of strong equivalence for logic programs with variables	p. 188
A unified semantics for constraint handling rules in transaction logic	p. 201
Conditional planning with external functions	p. 214
Logic programs with abstract constraints : representaton, disjunction and complexities	p. 228
General default logic	p. 241
The LP-OD system : logic programming meets outlier detection	p. 254
Clasp : a conflict-driven answer set solver	p. 260
GrinGo : a new grounder for answer set programming	p. 266
Using answer sets to solve belief change problems	p. 272
An Smodels system with limited lookahead computation	p. 278
Programming applications in CIFF	p. 284
CPP : a constraint logic programming based planner with preferences	p. 290
An application of defeasible logic programming to decision making in a robotic environment	p. 297
On the effectiveness of looking ahead in search for answer sets	p. 303
Enhancing ASP systems for planning with temporal constraints	p. 309
Semantics for possibilistic disjunctive programs	p. 315
Modularity in smodels programs	p. 321
Table of Contents provided by Blackwell. All Rights Reserved.

Logic Programming and Nonmonotonic Reasoning

9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, 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

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python Crash Course

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

The C Programming Language

Prentice Hall Software

Addiction by Design

Machine Gambling in Las Vegas

Coding For Kids For Dummies

For Kids for Dummies

Python All-in-One For Dummies

3rd Edition

Application of Computational Techniques in Power Systems for Power Quality Improvement

Knowledge-based Engineering for Innovation

Demystifying Game Studies

Demystifying Game Studies

The Pocket Mentor for Game Artists

The Pocket Mentors for Games Careers

Blockchain-based Internet of Things

Opportunities, Challenges and Solutions

Computer Vision

Object Detection In Adversarial Vision

Data Modelling and Analytics for the Internet of Medical Things

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

Deep Learning for Smart Healthcare

Trends, Challenges and Applications

Digital Image Security

Techniques and Applications

Digital Personality

A Man Forever Volume 2: Technical Aspects

Digital Personality: A Man Forever

Volume 1: Introduction

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

Low-Power Wide Area Network for Large Scale Internet of Things

Architectures, Communication Protocols and Recent Trends

This product is categorised by