Logical foundations of artificial intelligence:
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Los Altos, Calif.
Morgan Kaufmann
[1987]
|
| Schlagwörter: | |
| Links: | http://www.sciencedirect.com/science/book/9780934613316 http://www.sciencedirect.com/science/book/9780934613316 |
| Zusammenfassung: | Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic |
| Beschreibung: | Includes bibliographical references (pages 363-400) and index |
| Umfang: | 1 online resource (xviii, 405 pages) illustrations |
| ISBN: | 9780128015544 0128015543 0934613311 9780934613316 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044390960 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1987 xx a||| o|||| 00||| eng d | ||
| 020 | |a 9780128015544 |9 978-0-12-801554-4 | ||
| 020 | |a 0128015543 |9 0-12-801554-3 | ||
| 020 | |a 0934613311 |9 0-934613-31-1 | ||
| 020 | |a 9780934613316 |9 978-0-934613-31-6 | ||
| 035 | |a (ZDB-33-ESD)ocn885208766 | ||
| 035 | |a (OCoLC)885208766 | ||
| 035 | |a (DE-599)BVBBV044390960 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 006.3 |2 22 | |
| 084 | |a ES 900 |0 (DE-625)27926: |2 rvk | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 100 | 1 | |a Genesereth, Michael R. |d 1948- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical foundations of artificial intelligence |c Michael R. Genesereth and Nils J. Nilsson |
| 264 | 1 | |a Los Altos, Calif. |b Morgan Kaufmann |c [1987] | |
| 264 | 4 | |c © 1987 | |
| 300 | |a 1 online resource (xviii, 405 pages) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (pages 363-400) and index | ||
| 520 | |a Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic | ||
| 650 | 4 | |a connaissance | |
| 650 | 4 | |a métaraisonnement | |
| 650 | 4 | |a métaconnaissance | |
| 650 | 4 | |a induction | |
| 650 | 4 | |a planification | |
| 650 | 4 | |a incertitude | |
| 650 | 4 | |a résolution problème | |
| 650 | 4 | |a raisonnement | |
| 650 | 4 | |a inférence | |
| 650 | 4 | |a intelligence artificielle | |
| 650 | 4 | |a Intelligence artificielle | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a Künstliche Intelligenz |2 swd | |
| 650 | 7 | |a Mathematische Logik |2 swd | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 7 | |a Artificial intelligence |2 fast | |
| 650 | 7 | |a COMPUTERS / General |2 bisacsh | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Nilsson, Nils J. |d 1933- |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Genesereth, Michael R., 1948- |t Logical foundations of artificial intelligence |z 0934613311 |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780934613316 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029793182 | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780934613316 |l DE-1046 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818983354868957184 |
|---|---|
| any_adam_object | |
| author | Genesereth, Michael R. 1948- |
| author_facet | Genesereth, Michael R. 1948- |
| author_role | aut |
| author_sort | Genesereth, Michael R. 1948- |
| author_variant | m r g mr mrg |
| building | Verbundindex |
| bvnumber | BV044390960 |
| classification_rvk | ES 900 ST 285 ST 300 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn885208766 (OCoLC)885208766 (DE-599)BVBBV044390960 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Sprachwissenschaft Literaturwissenschaft |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03447nam a2200817zc 4500</leader><controlfield tag="001">BV044390960</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1987 xx a||| o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780128015544</subfield><subfield code="9">978-0-12-801554-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0128015543</subfield><subfield code="9">0-12-801554-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0934613311</subfield><subfield code="9">0-934613-31-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780934613316</subfield><subfield code="9">978-0-934613-31-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn885208766</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)885208766</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044390960</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-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 900</subfield><subfield code="0">(DE-625)27926:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Genesereth, Michael R.</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical foundations of artificial intelligence</subfield><subfield code="c">Michael R. Genesereth and Nils J. Nilsson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Los Altos, Calif.</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">[1987]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xviii, 405 pages)</subfield><subfield code="b">illustrations</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 363-400) and index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">connaissance</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">métaraisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">métaconnaissance</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">induction</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">planification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">incertitude</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">résolution problème</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">inférence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskundige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle</subfield><subfield code="2">ram</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">COMPUTERS / General</subfield><subfield code="2">bisacsh</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">Artificial intelligence</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-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="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nilsson, Nils J.</subfield><subfield code="d">1933-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Genesereth, Michael R., 1948-</subfield><subfield code="t">Logical foundations of artificial intelligence</subfield><subfield code="z">0934613311</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780934613316</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-33-ESD</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="883" ind1="1" ind2=" "><subfield code="8">2\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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029793182</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780934613316</subfield><subfield code="l">DE-1046</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044390960 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T18:01:47Z |
| institution | BVB |
| isbn | 9780128015544 0128015543 0934613311 9780934613316 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029793182 |
| oclc_num | 885208766 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 online resource (xviii, 405 pages) illustrations |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| spelling | Genesereth, Michael R. 1948- Verfasser aut Logical foundations of artificial intelligence Michael R. Genesereth and Nils J. Nilsson Los Altos, Calif. Morgan Kaufmann [1987] © 1987 1 online resource (xviii, 405 pages) illustrations txt rdacontent c rdamedia cr rdacarrier Includes bibliographical references (pages 363-400) and index Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial Intelligence is a lucid, rigorous, and comprehensive account of the fundamentals of artificial intelligence from the standpoint of logic connaissance métaraisonnement métaconnaissance induction planification incertitude résolution problème raisonnement inférence intelligence artificielle Intelligence artificielle Kunstmatige intelligentie gtt Wiskundige logica gtt Künstliche Intelligenz swd Mathematische Logik swd Intelligence artificielle ram Artificial intelligence fast COMPUTERS / General bisacsh Künstliche Intelligenz Artificial intelligence Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Logik (DE-588)4036202-4 s 2\p DE-604 Nilsson, Nils J. 1933- Sonstige oth Erscheint auch als Druck-Ausgabe Genesereth, Michael R., 1948- Logical foundations of artificial intelligence 0934613311 http://www.sciencedirect.com/science/book/9780934613316 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Genesereth, Michael R. 1948- Logical foundations of artificial intelligence connaissance métaraisonnement métaconnaissance induction planification incertitude résolution problème raisonnement inférence intelligence artificielle Intelligence artificielle Kunstmatige intelligentie gtt Wiskundige logica gtt Künstliche Intelligenz swd Mathematische Logik swd Intelligence artificielle ram Artificial intelligence fast COMPUTERS / General bisacsh Künstliche Intelligenz Artificial intelligence Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4033447-8 |
| title | Logical foundations of artificial intelligence |
| title_auth | Logical foundations of artificial intelligence |
| title_exact_search | Logical foundations of artificial intelligence |
| title_full | Logical foundations of artificial intelligence Michael R. Genesereth and Nils J. Nilsson |
| title_fullStr | Logical foundations of artificial intelligence Michael R. Genesereth and Nils J. Nilsson |
| title_full_unstemmed | Logical foundations of artificial intelligence Michael R. Genesereth and Nils J. Nilsson |
| title_short | Logical foundations of artificial intelligence |
| title_sort | logical foundations of artificial intelligence |
| topic | connaissance métaraisonnement métaconnaissance induction planification incertitude résolution problème raisonnement inférence intelligence artificielle Intelligence artificielle Kunstmatige intelligentie gtt Wiskundige logica gtt Künstliche Intelligenz swd Mathematische Logik swd Intelligence artificielle ram Artificial intelligence fast COMPUTERS / General bisacsh Künstliche Intelligenz Artificial intelligence Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | connaissance métaraisonnement métaconnaissance induction planification incertitude résolution problème raisonnement inférence intelligence artificielle Intelligence artificielle Kunstmatige intelligentie Wiskundige logica Künstliche Intelligenz Mathematische Logik Artificial intelligence COMPUTERS / General Logik |
| url | http://www.sciencedirect.com/science/book/9780934613316 |
| work_keys_str_mv | AT geneserethmichaelr logicalfoundationsofartificialintelligence AT nilssonnilsj logicalfoundationsofartificialintelligence |