Knowledge representation, reasoning, and declarative problem solving:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2003
|
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references (pages 498-518) and index Cover; Half-title; Title; Copyright; Contents; Preface; Chapter 1 Declarative programming in AnsProlog*: introduction and preliminaries; Chapter 2 Simple modules for declarative programming with answer sets; Chapter 3 Principles and properties of declarative programming with answer sets; Chapter 4 Declarative problem solving and reasoning in AnsProlog*; Chapter 5 Reasoning about actions and planning in AnsProlog*; Chapter 6 Complexity, expressiveness, and other properties of AnsProlog* programs; Chapter 7 Answer set computing algorithms Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This unique book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching |
| Physical Description: | 1 Online-Ressource (xiv, 530 pages) |
| ISBN: | 0511030657 0511042760 0511054513 0521818028 9780511030659 9780511042768 9780511054518 9780521818025 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043107995 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 0511030657 |c electronic bk. : Adobe Reader |9 0-511-03065-7 | ||
| 020 | |a 0511042760 |c electronic bk. |9 0-511-04276-0 | ||
| 020 | |a 0511054513 |9 0-511-05451-3 | ||
| 020 | |a 0521818028 |9 0-521-81802-8 | ||
| 020 | |a 9780511030659 |c electronic bk. : Adobe Reader |9 978-0-511-03065-9 | ||
| 020 | |a 9780511042768 |c electronic bk. |9 978-0-511-04276-8 | ||
| 020 | |a 9780511054518 |9 978-0-511-05451-8 | ||
| 020 | |a 9780521818025 |9 978-0-521-81802-5 | ||
| 035 | |a (OCoLC)56416111 | ||
| 035 | |a (DE-599)BVBBV043107995 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.3/3 |2 22 | |
| 100 | 1 | |a Baral, Chitta |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Knowledge representation, reasoning, and declarative problem solving |c Chitta Baral |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2003 | |
| 300 | |a 1 Online-Ressource (xiv, 530 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 498-518) and index | ||
| 500 | |a Cover; Half-title; Title; Copyright; Contents; Preface; Chapter 1 Declarative programming in AnsProlog*: introduction and preliminaries; Chapter 2 Simple modules for declarative programming with answer sets; Chapter 3 Principles and properties of declarative programming with answer sets; Chapter 4 Declarative problem solving and reasoning in AnsProlog*; Chapter 5 Reasoning about actions and planning in AnsProlog*; Chapter 6 Complexity, expressiveness, and other properties of AnsProlog* programs; Chapter 7 Answer set computing algorithms | ||
| 500 | |a Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This unique book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching | ||
| 650 | 7 | |a COMPUTERS / Expert Systems |2 bisacsh | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a Expert systems (Computer science) |2 fast | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast | |
| 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 | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112695 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028532186 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112695 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112695 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175524593926144 |
|---|---|
| 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 | BV043107995 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)56416111 (DE-599)BVBBV043107995 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03286nmm a2200577zc 4500</leader><controlfield tag="001">BV043107995</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511030657</subfield><subfield code="c">electronic bk. : Adobe Reader</subfield><subfield code="9">0-511-03065-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511042760</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-511-04276-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511054513</subfield><subfield code="9">0-511-05451-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521818028</subfield><subfield code="9">0-521-81802-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511030659</subfield><subfield code="c">electronic bk. : Adobe Reader</subfield><subfield code="9">978-0-511-03065-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511042768</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-511-04276-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511054518</subfield><subfield code="9">978-0-511-05451-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521818025</subfield><subfield code="9">978-0-521-81802-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56416111</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043107995</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3/3</subfield><subfield code="2">22</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="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-Ressource (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">Includes bibliographical references (pages 498-518) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Cover; Half-title; Title; Copyright; Contents; Preface; Chapter 1 Declarative programming in AnsProlog*: introduction and preliminaries; Chapter 2 Simple modules for declarative programming with answer sets; Chapter 3 Principles and properties of declarative programming with answer sets; Chapter 4 Declarative problem solving and reasoning in AnsProlog*; Chapter 5 Reasoning about actions and planning in AnsProlog*; Chapter 6 Complexity, expressiveness, and other properties of AnsProlog* programs; Chapter 7 Answer set computing algorithms</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This unique book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Expert Systems</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Artificial intelligence</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Expert systems (Computer science)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Knowledge representation (Information theory)</subfield><subfield code="2">fast</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="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112695</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028532186</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">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112695</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112695</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043107995 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:17:40Z |
| institution | BVB |
| isbn | 0511030657 0511042760 0511054513 0521818028 9780511030659 9780511042768 9780511054518 9780521818025 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028532186 |
| oclc_num | 56416111 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xiv, 530 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| 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 Cambridge Cambridge University Press 2003 1 Online-Ressource (xiv, 530 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 498-518) and index Cover; Half-title; Title; Copyright; Contents; Preface; Chapter 1 Declarative programming in AnsProlog*: introduction and preliminaries; Chapter 2 Simple modules for declarative programming with answer sets; Chapter 3 Principles and properties of declarative programming with answer sets; Chapter 4 Declarative problem solving and reasoning in AnsProlog*; Chapter 5 Reasoning about actions and planning in AnsProlog*; Chapter 6 Complexity, expressiveness, and other properties of AnsProlog* programs; Chapter 7 Answer set computing algorithms Baral shows how to write programs that behave intelligently, by giving them the ability to express knowledge and to reason. This unique book will appeal to practising and would-be knowledge engineers wishing to learn more about the subject in courses or through self-teaching COMPUTERS / Expert Systems bisacsh Artificial intelligence fast Expert systems (Computer science) fast Knowledge representation (Information theory) fast 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 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112695 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Baral, Chitta Knowledge representation, reasoning, and declarative problem solving COMPUTERS / Expert Systems bisacsh Artificial intelligence fast Expert systems (Computer science) fast Knowledge representation (Information theory) fast 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_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 | COMPUTERS / Expert Systems bisacsh Artificial intelligence fast Expert systems (Computer science) fast Knowledge representation (Information theory) fast Künstliche Intelligenz Expert systems (Computer science) Artificial intelligence Knowledge representation (Information theory) Wissensrepräsentation (DE-588)4049534-6 gnd |
| topic_facet | COMPUTERS / Expert Systems Artificial intelligence Expert systems (Computer science) Knowledge representation (Information theory) Künstliche Intelligenz Wissensrepräsentation |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=112695 |
| work_keys_str_mv | AT baralchitta knowledgerepresentationreasoninganddeclarativeproblemsolving |