skip to content
Knowledge representation, reasoning and declarative problem solving Preview this item
ClosePreview this item
Checking...

Knowledge representation, reasoning and declarative problem solving

Author: Chitta Baral
Publisher: Cambridge ; New York : Cambridge University Press, 2003.
Edition/Format:   Print book : Document   Computer File : EnglishView all editions and formats
Summary:
Knowledge management & knowledge-based intelligence are vital to today's economy & society. To exploit them fully requires the ability to represent & reason about knowledge via a declarative interface whose input language is based on logic. Baral presents such a language, AnsProlog.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Material Type: Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Chitta Baral
ISBN: 0521818028 9780521818025
OCLC Number: 49384091
Description: xiv, 530 pages : illustrations ; 26 cm
Contents: 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 --
App. A. Ordinals, lattices, and fixpoint theory --
App. B. Turing machines.
Responsibility: Chitta Baral.
More information:

Abstract:

Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This book will appeal to practising and would-be knowledge engineers  Read more...

Reviews

Editorial reviews

Publisher Synopsis

Review of the hardback: 'I wholeheartedly recommend this book to researchers and students in the fields of logic programming, declarative programming and knowledge representation.' Journal of Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/49384091> # Knowledge representation, reasoning and declarative problem solving
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "49384091" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1029141#Place/cambridge> ; # Cambridge
    schema:about <http://id.worldcat.org/fast/918516> ; # Expert systems (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/1029141#Topic/wissensreprasentation> ; # Wissensrepräsentation
    schema:about <http://experiment.worldcat.org/entity/work/data/1029141#Topic/representation_des_connaissances> ; # Représentation des connaissances
    schema:about <http://id.worldcat.org/fast/988187> ; # Knowledge representation (Information theory)
    schema:about <http://dewey.info/class/006.33/e21/> ;
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1029141#Topic/intelligence_artificielle> ; # Intelligence artificielle
    schema:about <http://experiment.worldcat.org/entity/work/data/1029141#Topic/wissensbasiertes_system> ; # Wissensbasiertes System
    schema:about <http://experiment.worldcat.org/entity/work/data/1029141#Topic/systemes_experts_informatique> ; # Systèmes experts (Informatique)
    schema:bookFormat bgn:PrintBook ;
    schema:creator <http://viaf.org/viaf/76552741> ; # Chitta Baral
    schema:datePublished "2003" ;
    schema:datePublished "2002" ;
    schema:description "Knowledge management & knowledge-based intelligence are vital to today's economy & society. To exploit them fully requires the ability to represent & reason about knowledge via a declarative interface whose input language is based on logic. Baral presents such a language, AnsProlog."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1029141> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:name "Knowledge representation, reasoning and declarative problem solving"@en ;
    schema:productID "49384091" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/49384091#PublicationEvent/cambridge_new_york_cambridge_university_press_2003> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1029141#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://site.ebrary.com/id/10064622> ;
    schema:url <http://www.myilibrary.com?id=43448> ;
    schema:url <http://catdir.loc.gov/catdir/samples/cam033/2002025622.html> ;
    schema:url <http://www.ulb.tu-darmstadt.de/tocs/110217047.pdf> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=012799736&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://catdir.loc.gov/catdir/toc/cam027/2002025622.html> ;
    schema:workExample <http://worldcat.org/isbn/9780521818025> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA2U2389> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA314607> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/49384091> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1029141#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/1029141#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
    schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1029141#Topic/representation_des_connaissances> # Représentation des connaissances
    a schema:Intangible ;
    schema:name "Représentation des connaissances"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1029141#Topic/systemes_experts_informatique> # Systèmes experts (Informatique)
    a schema:Intangible ;
    schema:name "Systèmes experts (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1029141#Topic/wissensbasiertes_system> # Wissensbasiertes System
    a schema:Intangible ;
    schema:name "Wissensbasiertes System"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1029141#Topic/wissensreprasentation> # Wissensrepräsentation
    a schema:Intangible ;
    schema:name "Wissensrepräsentation"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
    schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/918516> # Expert systems (Computer science)
    a schema:Intangible ;
    schema:name "Expert systems (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/988187> # Knowledge representation (Information theory)
    a schema:Intangible ;
    schema:name "Knowledge representation (Information theory)"@en ;
    .

<http://viaf.org/viaf/76552741> # Chitta Baral
    a schema:Person ;
    schema:familyName "Baral" ;
    schema:givenName "Chitta" ;
    schema:name "Chitta Baral" ;
    .

<http://worldcat.org/isbn/9780521818025>
    a schema:ProductModel ;
    schema:isbn "0521818028" ;
    schema:isbn "9780521818025" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.