The logic of knowledge bases:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Mass.
MIT Press
©2000
|
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references (pages 275-280) and index Preface -- - Acknowledgments -- - 1 - Introduction -- - 2 - A First-Order Logical Language -- - 3 - An Epistemic Logical Language -- - 4 - Logical Properties of Knowledge -- - 5 - The TELL and ASK Operations -- - 6 - Knowledge Bases as Representations of Epistemic States -- - 7 - The Representation Theorem -- - 8 - Only-Knowing -- - 9 - Only-Knowing and Autoepistemic Logic -- - 10 - On the Proof Theory of OL -- - 11 - Only-Knowing-About -- - 12 - Avoiding Logical Omniscience -- - 13 - The Logic EOL -- - 14 - Knowledge and Action -- - Epilogue -- - References -- - Index |
| Physical Description: | 1 Online-Ressource (xviii, 282 pages) |
| ISBN: | 0262122324 0262278235 9780262122320 9780262278232 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043044144 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151123s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 0262122324 |9 0-262-12232-4 | ||
| 020 | |a 0262278235 |9 0-262-27823-5 | ||
| 020 | |a 9780262122320 |9 978-0-262-12232-0 | ||
| 020 | |a 9780262278232 |9 978-0-262-27823-2 | ||
| 035 | |a (OCoLC)61725586 | ||
| 035 | |a (DE-599)BVBBV043044144 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 006.3/32 |2 22 | |
| 100 | 1 | |a Levesque, Hector J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The logic of knowledge bases |c Hector J. Levesque and Gerhard Lakemeyer |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c ©2000 | |
| 300 | |a 1 Online-Ressource (xviii, 282 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 275-280) and index | ||
| 500 | |a Preface -- - Acknowledgments -- - 1 - Introduction -- - 2 - A First-Order Logical Language -- - 3 - An Epistemic Logical Language -- - 4 - Logical Properties of Knowledge -- - 5 - The TELL and ASK Operations -- - 6 - Knowledge Bases as Representations of Epistemic States -- - 7 - The Representation Theorem -- - 8 - Only-Knowing -- - 9 - Only-Knowing and Autoepistemic Logic -- - 10 - On the Proof Theory of OL -- - 11 - Only-Knowing-About -- - 12 - Avoiding Logical Omniscience -- - 13 - The Logic EOL -- - 14 - Knowledge and Action -- - Epilogue -- - References -- - Index | ||
| 650 | 4 | |a Représentation des connaissances | |
| 650 | 4 | |a Systèmes experts (Informatique) | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 7 | |a COMPUTERS / Expert Systems |2 bisacsh | |
| 650 | 7 | |a Expert systems (Computer science) |2 fast | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 4 | |a Knowledge representation (Information theory) | |
| 650 | 4 | |a Expert systems (Computer science) | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Datenbank |0 (DE-588)4011119-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Datenbank |0 (DE-588)4011119-2 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Lakemeyer, Gerhard |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=138543 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028468681 | ||
| 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=138543 |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=138543 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175409624907776 |
|---|---|
| any_adam_object | |
| author | Levesque, Hector J. |
| author_facet | Levesque, Hector J. |
| author_role | aut |
| author_sort | Levesque, Hector J. |
| author_variant | h j l hj hjl |
| building | Verbundindex |
| bvnumber | BV043044144 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)61725586 (DE-599)BVBBV043044144 |
| dewey-full | 006.3/32 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3/32 |
| dewey-search | 006.3/32 |
| dewey-sort | 16.3 232 |
| 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>02997nmm a2200577zc 4500</leader><controlfield tag="001">BV043044144</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151123s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262122324</subfield><subfield code="9">0-262-12232-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262278235</subfield><subfield code="9">0-262-27823-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262122320</subfield><subfield code="9">978-0-262-12232-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262278232</subfield><subfield code="9">978-0-262-27823-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)61725586</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043044144</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/32</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Levesque, Hector J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The logic of knowledge bases</subfield><subfield code="c">Hector J. Levesque and Gerhard Lakemeyer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">©2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xviii, 282 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 275-280) and index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Preface -- - Acknowledgments -- - 1 - Introduction -- - 2 - A First-Order Logical Language -- - 3 - An Epistemic Logical Language -- - 4 - Logical Properties of Knowledge -- - 5 - The TELL and ASK Operations -- - 6 - Knowledge Bases as Representations of Epistemic States -- - 7 - The Representation Theorem -- - 8 - Only-Knowing -- - 9 - Only-Knowing and Autoepistemic Logic -- - 10 - On the Proof Theory of OL -- - 11 - Only-Knowing-About -- - 12 - Avoiding Logical Omniscience -- - 13 - The Logic EOL -- - 14 - Knowledge and Action -- - Epilogue -- - References -- - Index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Représentation des connaissances</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systèmes experts (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</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">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="7"><subfield code="a">Logic, Symbolic and mathematical</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge representation (Information theory)</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">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbank</subfield><subfield code="0">(DE-588)4011119-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbank</subfield><subfield code="0">(DE-588)4011119-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="700" ind1="1" ind2=" "><subfield code="a">Lakemeyer, Gerhard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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=138543</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-028468681</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=138543</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=138543</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.BV043044144 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:15:50Z |
| institution | BVB |
| isbn | 0262122324 0262278235 9780262122320 9780262278232 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028468681 |
| oclc_num | 61725586 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xviii, 282 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Levesque, Hector J. Verfasser aut The logic of knowledge bases Hector J. Levesque and Gerhard Lakemeyer Cambridge, Mass. MIT Press ©2000 1 Online-Ressource (xviii, 282 pages) txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 275-280) and index Preface -- - Acknowledgments -- - 1 - Introduction -- - 2 - A First-Order Logical Language -- - 3 - An Epistemic Logical Language -- - 4 - Logical Properties of Knowledge -- - 5 - The TELL and ASK Operations -- - 6 - Knowledge Bases as Representations of Epistemic States -- - 7 - The Representation Theorem -- - 8 - Only-Knowing -- - 9 - Only-Knowing and Autoepistemic Logic -- - 10 - On the Proof Theory of OL -- - 11 - Only-Knowing-About -- - 12 - Avoiding Logical Omniscience -- - 13 - The Logic EOL -- - 14 - Knowledge and Action -- - Epilogue -- - References -- - Index Représentation des connaissances Systèmes experts (Informatique) Logique symbolique et mathématique COMPUTERS / Expert Systems bisacsh Expert systems (Computer science) fast Knowledge representation (Information theory) fast Logic, Symbolic and mathematical fast Knowledge representation (Information theory) Expert systems (Computer science) Logic, Symbolic and mathematical Datenbank (DE-588)4011119-2 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Datenbank (DE-588)4011119-2 s Logik (DE-588)4036202-4 s 1\p DE-604 Lakemeyer, Gerhard Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=138543 Aggregator Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Levesque, Hector J. The logic of knowledge bases Représentation des connaissances Systèmes experts (Informatique) Logique symbolique et mathématique COMPUTERS / Expert Systems bisacsh Expert systems (Computer science) fast Knowledge representation (Information theory) fast Logic, Symbolic and mathematical fast Knowledge representation (Information theory) Expert systems (Computer science) Logic, Symbolic and mathematical Datenbank (DE-588)4011119-2 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4011119-2 (DE-588)4036202-4 |
| title | The logic of knowledge bases |
| title_auth | The logic of knowledge bases |
| title_exact_search | The logic of knowledge bases |
| title_full | The logic of knowledge bases Hector J. Levesque and Gerhard Lakemeyer |
| title_fullStr | The logic of knowledge bases Hector J. Levesque and Gerhard Lakemeyer |
| title_full_unstemmed | The logic of knowledge bases Hector J. Levesque and Gerhard Lakemeyer |
| title_short | The logic of knowledge bases |
| title_sort | the logic of knowledge bases |
| topic | Représentation des connaissances Systèmes experts (Informatique) Logique symbolique et mathématique COMPUTERS / Expert Systems bisacsh Expert systems (Computer science) fast Knowledge representation (Information theory) fast Logic, Symbolic and mathematical fast Knowledge representation (Information theory) Expert systems (Computer science) Logic, Symbolic and mathematical Datenbank (DE-588)4011119-2 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Représentation des connaissances Systèmes experts (Informatique) Logique symbolique et mathématique COMPUTERS / Expert Systems Expert systems (Computer science) Knowledge representation (Information theory) Logic, Symbolic and mathematical Datenbank Logik |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=138543 |
| work_keys_str_mv | AT levesquehectorj thelogicofknowledgebases AT lakemeyergerhard thelogicofknowledgebases |