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

Knowledge representation, reasoning and declarative problem solving

Author: Chitta Baral
Publisher: Cambridge ; New York : Cambridge University Press, 2003.
Edition/Format:   Print book : 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

Material Type: Internet resource
Document Type: Book, 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:

A practitioner's guide to knowledge representation and reasoning using logic programming.  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: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: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.