No Words Wasted Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    The Powell's Playlist | January 19, 2015

    Ned Beauman: IMG The Powell's Playlist: Ned Beauman



    I did have a playlist that I listened to over and over again while I was writing Glow, but three years on I'm a bit bored of those songs, which got... Continue »
    1. $18.17 Sale Hardcover add to wish list

      Glow

      Ned Beauman 9780385352604

    spacer
Qualifying orders ship free.
$21.00
Used Hardcover
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Burnside Artificial Intelligence- General

This title in other editions

Knowledge Representation, Reasoning and Declarative Problem Solving

by

Knowledge Representation, Reasoning and Declarative Problem Solving Cover

 

Synopses & Reviews

Publisher Comments:

Knowledge management and knowledge-based intelligence are areas of importance in today's economy and society, and their exploitation requires representation via the development of a declarative interface whose input language is based on logic. Chitta Baral demonstrates how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it. He presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving. Many of the results have never appeared before in book form but are organized here for those wishing to learn more about the subject, either in courses or through self-study.

Synopsis:

Knowledge management and knowledge-based intelligence are areas of importance in today's economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge. Baral shows how to write programs that behave intelligently by giving them the ability to express knowledge and to reason. Many of the results here have never appeared before in book form, and have been organised here to appeal to practising and would-be knowledge engineers wishing to learn more about the subject. A comprehensive bibliography rounds off the book.

Synopsis:

Includes bibliographical references (p. 498-518) and indexes.

Synopsis:

Practitioner??'s guide to knowledge representation and reasoning using logic programming.

Table of Contents

Preface; 1. Declarative programming in AnsProlog*: introduction and preliminaries; 2. Simple modules for declarative programming with answer sets; 3. Principles and properties of declarative programming with answer sets; 4. Declarative problem solving and reasoning in AnsProlog*; 5. Reasoning about actions and planning in AnsProlog*; 6. Complexity, expressiveness and other properties of AnsProlog* programs; 7. Answer set computing algorithms; 8. Query answering and answer set computing systems; 9. Further extensions of and alternatives to AnsProlog*; 10. Appendix A: Ordinals, lattices and fixpoint theory; 11. Appendix B: Turing machines.

Product Details

ISBN:
9780521818025
Author:
Baral, Chitta
Publisher:
Cambridge University Press
Location:
Cambridge, U.K.
Subject:
Programming Languages - General
Subject:
Programming - General
Subject:
Expert Systems
Subject:
Expert systems (computer science)
Subject:
Artificial Intelligence
Subject:
Knowledge representation.
Subject:
General Computers
Subject:
Operating Systems - General
Copyright:
Series Volume:
v. 20
Publication Date:
20030131
Binding:
Hardcover
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
Y
Pages:
530
Dimensions:
9.98x6.84x1.09 in. 2.61 lbs.

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Operating Systems » General
Computers and Internet » Software Engineering » Programming and Languages
Engineering » Communications » Information Theory

Knowledge Representation, Reasoning and Declarative Problem Solving Used Hardcover
0 stars - 0 reviews
$21.00 In Stock
Product details 530 pages Cambridge University Press - English 9780521818025 Reviews:
"Synopsis" by , Knowledge management and knowledge-based intelligence are areas of importance in today's economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge. Baral shows how to write programs that behave intelligently by giving them the ability to express knowledge and to reason. Many of the results here have never appeared before in book form, and have been organised here to appeal to practising and would-be knowledge engineers wishing to learn more about the subject. A comprehensive bibliography rounds off the book.
"Synopsis" by , Includes bibliographical references (p. 498-518) and indexes.
"Synopsis" by , Practitioner??'s guide to knowledge representation and reasoning using logic programming.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.