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

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

Videogame Architecture

Building Virtual Spaces

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Designing Data-Intensive Applications 2e

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Python Crash Course

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

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Python & AI For Dummies

Code

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

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

The Practical Guide

The Practical Guide

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

MacBook Neo For Dummies

The C Programming Language

Prentice Hall Software

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Coding For Kids For Dummies

For Kids for Dummies

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Computer Coding Python Games for Kids

DK Help Your Kids With

Refactoring 2ed

Improving the Design of Existing Code

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Python All-in-One For Dummies

3rd Edition

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

C++ Programming Language (hardcover), The

This product is categorised by