Knowledge representation, reasoning and declarative problem solving:
Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originall...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2003
|
| Subjects: | |
| Online Access: | BSB01 FHN01 Volltext |
| Summary: | Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: 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. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book |
| Item Description: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Physical Description: | 1 online resource (xiv, 530 pages) |
| ISBN: | 9780511543357 |
| DOI: | 10.1017/CBO9780511543357 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043945422 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511543357 |c Online |9 978-0-511-54335-7 | ||
| 024 | 7 | |a 10.1017/CBO9780511543357 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511543357 | ||
| 035 | |a (OCoLC)704508194 | ||
| 035 | |a (DE-599)BVBBV043945422 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 006.3/3 |2 21 | |
| 084 | |a ST 304 |0 (DE-625)143653: |2 rvk | ||
| 100 | 1 | |a Baral, Chitta |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Knowledge representation, reasoning and declarative problem solving |c Chitta Baral |
| 246 | 1 | 3 | |a Knowledge Representation, Reasoning & Declarative Problem Solving |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2003 | |
| 300 | |a 1 online resource (xiv, 530 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | 0 | |g 1 |t Declarative programming in AnsProlog: introduction and preliminaries |g 2 |t Simple modules for declarative programming with answer sets |g 3 |t Principles and properties of declarative programming with answer sets |g 4 |t Declarative problem solving and reasoning in AnsProlog |g 5 |t Reasoning about actions and planning in AnsProlog |g 6 |t Complexity, expressiveness, and other properties of AnsProlog programs |g 7 |t Answer set computing algorithms |g 8 |t Query answering and answer set computing systems |g 9 |t Further extensions of and alternatives to AnsProlog |g App. A. |t Ordinals, lattices, and fixpoint theory |g App. B. |t Turing machines |
| 520 | |a Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: 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. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book | ||
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-14775-0 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-81802-5 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511543357 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029354393 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511543357 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511543357 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804176891661254656 |
|---|---|
| any_adam_object | |
| author | Baral, Chitta |
| author_facet | Baral, Chitta |
| author_role | aut |
| author_sort | Baral, Chitta |
| author_variant | c b cb |
| building | Verbundindex |
| bvnumber | BV043945422 |
| classification_rvk | ST 304 |
| collection | ZDB-20-CBO |
| contents | Declarative programming in AnsProlog: introduction and preliminaries Simple modules for declarative programming with answer sets Principles and properties of declarative programming with answer sets Declarative problem solving and reasoning in AnsProlog Reasoning about actions and planning in AnsProlog Complexity, expressiveness, and other properties of AnsProlog programs Answer set computing algorithms Query answering and answer set computing systems Further extensions of and alternatives to AnsProlog Ordinals, lattices, and fixpoint theory Turing machines |
| ctrlnum | (ZDB-20-CBO)CR9780511543357 (OCoLC)704508194 (DE-599)BVBBV043945422 |
| dewey-full | 006.3/3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/3 |
| dewey-search | 006.3/3 |
| dewey-sort | 16.3 13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1017/CBO9780511543357 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03548nmm a2200517zc 4500</leader><controlfield tag="001">BV043945422</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511543357</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-54335-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511543357</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511543357</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)704508194</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043945422</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 304</subfield><subfield code="0">(DE-625)143653:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baral, Chitta</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge representation, reasoning and declarative problem solving</subfield><subfield code="c">Chitta Baral</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Knowledge Representation, Reasoning & Declarative Problem Solving</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xiv, 530 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="g">1</subfield><subfield code="t">Declarative programming in AnsProlog: introduction and preliminaries</subfield><subfield code="g">2</subfield><subfield code="t">Simple modules for declarative programming with answer sets</subfield><subfield code="g">3</subfield><subfield code="t">Principles and properties of declarative programming with answer sets</subfield><subfield code="g">4</subfield><subfield code="t">Declarative problem solving and reasoning in AnsProlog</subfield><subfield code="g">5</subfield><subfield code="t">Reasoning about actions and planning in AnsProlog</subfield><subfield code="g">6</subfield><subfield code="t">Complexity, expressiveness, and other properties of AnsProlog programs</subfield><subfield code="g">7</subfield><subfield code="t">Answer set computing algorithms</subfield><subfield code="g">8</subfield><subfield code="t">Query answering and answer set computing systems</subfield><subfield code="g">9</subfield><subfield code="t">Further extensions of and alternatives to AnsProlog</subfield><subfield code="g">App. A.</subfield><subfield code="t">Ordinals, lattices, and fixpoint theory</subfield><subfield code="g">App. B.</subfield><subfield code="t">Turing machines</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: 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. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-14775-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-81802-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511543357</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029354393</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511543357</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511543357</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043945422 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:23Z |
| institution | BVB |
| isbn | 9780511543357 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029354393 |
| oclc_num | 704508194 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xiv, 530 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Baral, Chitta Verfasser aut Knowledge representation, reasoning and declarative problem solving Chitta Baral Knowledge Representation, Reasoning & Declarative Problem Solving Cambridge Cambridge University Press 2003 1 online resource (xiv, 530 pages) txt rdacontent c rdamedia cr rdacarrier Title from publisher's bibliographic system (viewed on 05 Oct 2015) 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 Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: 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. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book Künstliche Intelligenz Expert systems (Computer science) Artificial intelligence Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 s 1\p DE-604 Erscheint auch als Druckausgabe 978-0-521-14775-0 Erscheint auch als Druckausgabe 978-0-521-81802-5 https://doi.org/10.1017/CBO9780511543357 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Baral, Chitta Knowledge representation, reasoning and declarative problem solving Declarative programming in AnsProlog: introduction and preliminaries Simple modules for declarative programming with answer sets Principles and properties of declarative programming with answer sets Declarative problem solving and reasoning in AnsProlog Reasoning about actions and planning in AnsProlog Complexity, expressiveness, and other properties of AnsProlog programs Answer set computing algorithms Query answering and answer set computing systems Further extensions of and alternatives to AnsProlog Ordinals, lattices, and fixpoint theory Turing machines Künstliche Intelligenz Expert systems (Computer science) Artificial intelligence Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd |
| subject_GND | (DE-588)4049534-6 |
| title | Knowledge representation, reasoning and declarative problem solving |
| title_alt | Knowledge Representation, Reasoning & Declarative Problem Solving Declarative programming in AnsProlog: introduction and preliminaries Simple modules for declarative programming with answer sets Principles and properties of declarative programming with answer sets Declarative problem solving and reasoning in AnsProlog Reasoning about actions and planning in AnsProlog Complexity, expressiveness, and other properties of AnsProlog programs Answer set computing algorithms Query answering and answer set computing systems Further extensions of and alternatives to AnsProlog Ordinals, lattices, and fixpoint theory Turing machines |
| title_auth | Knowledge representation, reasoning and declarative problem solving |
| title_exact_search | Knowledge representation, reasoning and declarative problem solving |
| title_full | Knowledge representation, reasoning and declarative problem solving Chitta Baral |
| title_fullStr | Knowledge representation, reasoning and declarative problem solving Chitta Baral |
| title_full_unstemmed | Knowledge representation, reasoning and declarative problem solving Chitta Baral |
| title_short | Knowledge representation, reasoning and declarative problem solving |
| title_sort | knowledge representation reasoning and declarative problem solving |
| topic | Künstliche Intelligenz Expert systems (Computer science) Artificial intelligence Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | Künstliche Intelligenz Expert systems (Computer science) Artificial intelligence Knowledge representation (Information theory) Wissensrepräsentation |
| url | https://doi.org/10.1017/CBO9780511543357 |
| work_keys_str_mv | AT baralchitta knowledgerepresentationreasoninganddeclarativeproblemsolving AT baralchitta knowledgerepresentationreasoningdeclarativeproblemsolving |