My Wish Lists Login / Join

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

The Explosive Child: Sixth Edition

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

MacBook Neo For Dummies

Code

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

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

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

ZX-Calculus for Quantum Circuits

A Diagrammatic Approach to Quantum Circuit Analysis and Optimization

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Python All-in-One For Dummies

3rd Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

The C Programming Language

Prentice Hall Software

Design Patterns

Elements of Reusable Object-Oriented Software

Legend of Zelda(TM): Tears of the Kingdom - The Complete Official Guide

Collector's Edition

Making Things Happen : Theory in Practice

Mastering Project Management

Confident Web Design

How to Design and Create Websites and Futureproof Your Career

Computer Coding Python Games for Kids

DK Help Your Kids With

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Theory of Fun for Game Design

Fundamentals of Python

3rd Edition - First Programs

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

Hacking For Dummies

For Dummies (Computer/Tech)

This product is categorised by