Reasoning about change: time and causation from the standpoint of artificial intelligence
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Pr.
1988
|
Schriftenreihe: | The MIT Press series in artificial intelligence
|
Schlagworte: | |
Beschreibung: | Teilw. zugl.: Yale Univ., Diss. |
Beschreibung: | 200 S. |
ISBN: | 0262192691 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV000801253 | ||
003 | DE-604 | ||
005 | 20151217 | ||
007 | t | ||
008 | 880912s1988 m||| 00||| eng d | ||
020 | |a 0262192691 |9 0-262-19269-1 | ||
035 | |a (OCoLC)16355408 | ||
035 | |a (DE-599)BVBBV000801253 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-12 |a DE-91G |a DE-473 |a DE-739 |a DE-355 |a DE-29T |a DE-19 |a DE-706 |a DE-83 |a DE-188 | ||
050 | 0 | |a Q335 | |
082 | 0 | |a 006.3 |2 19 | |
084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
084 | |a DAT 549f |2 stub | ||
100 | 1 | |a Shoham, Yoav |e Verfasser |4 aut | |
245 | 1 | 0 | |a Reasoning about change |b time and causation from the standpoint of artificial intelligence |c Yoav Shoham |
264 | 1 | |a Cambridge, Mass. u.a. |b MIT Pr. |c 1988 | |
300 | |a 200 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a The MIT Press series in artificial intelligence | |
500 | |a Teilw. zugl.: Yale Univ., Diss. | ||
650 | 4 | |a Intelligence artificielle | |
650 | 7 | |a Intelligence artificielle |2 ram | |
650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
650 | 7 | |a Redeneren |2 gtt | |
650 | 7 | |a Systèmes experts (informatique) |2 ram | |
650 | 4 | |a Temps | |
650 | 7 | |a causalité |2 inriac | |
650 | 7 | |a intelligence artificielle |2 inriac | |
650 | 7 | |a logique temporelle |2 inriac | |
650 | 7 | |a raisonnement |2 inriac | |
650 | 4 | |a Künstliche Intelligenz | |
650 | 4 | |a Artificial intelligence | |
650 | 4 | |a Causation | |
650 | 4 | |a Reasoning | |
650 | 4 | |a Time | |
650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Zeit |0 (DE-588)4067461-7 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Kausalität |0 (DE-588)4030102-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 0 | 1 | |a Kausalität |0 (DE-588)4030102-3 |D s |
689 | 0 | 2 | |a Zeit |0 (DE-588)4067461-7 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Zeit |0 (DE-588)4067461-7 |D s |
689 | 2 | 1 | |a Modallogik |0 (DE-588)4074914-9 |D s |
689 | 2 | |5 DE-604 | |
689 | 3 | 0 | |a Kausalität |0 (DE-588)4030102-3 |D s |
689 | 3 | 1 | |a Modallogik |0 (DE-588)4074914-9 |D s |
689 | 3 | |5 DE-604 | |
689 | 4 | 0 | |a Kausalität |0 (DE-588)4030102-3 |D s |
689 | 4 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 4 | 2 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
689 | 4 | |5 DE-604 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-000502054 |
Datensatz im Suchindex
_version_ | 1804115252626849792 |
---|---|
any_adam_object | |
author | Shoham, Yoav |
author_facet | Shoham, Yoav |
author_role | aut |
author_sort | Shoham, Yoav |
author_variant | y s ys |
building | Verbundindex |
bvnumber | BV000801253 |
callnumber-first | Q - Science |
callnumber-label | Q335 |
callnumber-raw | Q335 |
callnumber-search | Q335 |
callnumber-sort | Q 3335 |
callnumber-subject | Q - General Science |
classification_rvk | ST 285 ST 300 |
classification_tum | DAT 549f |
ctrlnum | (OCoLC)16355408 (DE-599)BVBBV000801253 |
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 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02765nam a2200793 c 4500</leader><controlfield tag="001">BV000801253</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151217 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880912s1988 m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262192691</subfield><subfield code="9">0-262-19269-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)16355408</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000801253</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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-91G</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q335</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">19</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="084" ind1=" " ind2=" "><subfield code="a">DAT 549f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shoham, Yoav</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reasoning about change</subfield><subfield code="b">time and causation from the standpoint of artificial intelligence</subfield><subfield code="c">Yoav Shoham</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Pr.</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">200 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">The MIT Press series in artificial intelligence</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Teilw. zugl.: Yale Univ., Diss.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle</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">Kunstmatige intelligentie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Systèmes experts (informatique)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temps</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">causalité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">intelligence artificielle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement</subfield><subfield code="2">inriac</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=" " ind2="4"><subfield code="a">Causation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Time</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="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</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">Zeit</subfield><subfield code="0">(DE-588)4067461-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kausalität</subfield><subfield code="0">(DE-588)4030102-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</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">Kausalität</subfield><subfield code="0">(DE-588)4030102-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Zeit</subfield><subfield code="0">(DE-588)4067461-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Zeit</subfield><subfield code="0">(DE-588)4067461-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Kausalität</subfield><subfield code="0">(DE-588)4030102-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Kausalität</subfield><subfield code="0">(DE-588)4030102-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" 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="4" ind2="2"><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="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000502054</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV000801253 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T15:19:40Z |
institution | BVB |
isbn | 0262192691 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000502054 |
oclc_num | 16355408 |
open_access_boolean | |
owner | DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
owner_facet | DE-12 DE-91G DE-BY-TUM DE-473 DE-BY-UBG DE-739 DE-355 DE-BY-UBR DE-29T DE-19 DE-BY-UBM DE-706 DE-83 DE-188 |
physical | 200 S. |
publishDate | 1988 |
publishDateSearch | 1988 |
publishDateSort | 1988 |
publisher | MIT Pr. |
record_format | marc |
series2 | The MIT Press series in artificial intelligence |
spelling | Shoham, Yoav Verfasser aut Reasoning about change time and causation from the standpoint of artificial intelligence Yoav Shoham Cambridge, Mass. u.a. MIT Pr. 1988 200 S. txt rdacontent n rdamedia nc rdacarrier The MIT Press series in artificial intelligence Teilw. zugl.: Yale Univ., Diss. Intelligence artificielle Intelligence artificielle ram Kunstmatige intelligentie gtt Redeneren gtt Systèmes experts (informatique) ram Temps causalité inriac intelligence artificielle inriac logique temporelle inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Causation Reasoning Time Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Zeit (DE-588)4067461-7 gnd rswk-swf Kausalität (DE-588)4030102-3 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Kausalität (DE-588)4030102-3 s Zeit (DE-588)4067461-7 s DE-604 Temporale Logik (DE-588)4137542-7 s Modallogik (DE-588)4074914-9 s Logik (DE-588)4036202-4 s |
spellingShingle | Shoham, Yoav Reasoning about change time and causation from the standpoint of artificial intelligence Intelligence artificielle Intelligence artificielle ram Kunstmatige intelligentie gtt Redeneren gtt Systèmes experts (informatique) ram Temps causalité inriac intelligence artificielle inriac logique temporelle inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Causation Reasoning Time Künstliche Intelligenz (DE-588)4033447-8 gnd Temporale Logik (DE-588)4137542-7 gnd Logik (DE-588)4036202-4 gnd Zeit (DE-588)4067461-7 gnd Kausalität (DE-588)4030102-3 gnd Modallogik (DE-588)4074914-9 gnd |
subject_GND | (DE-588)4033447-8 (DE-588)4137542-7 (DE-588)4036202-4 (DE-588)4067461-7 (DE-588)4030102-3 (DE-588)4074914-9 (DE-588)4113937-9 |
title | Reasoning about change time and causation from the standpoint of artificial intelligence |
title_auth | Reasoning about change time and causation from the standpoint of artificial intelligence |
title_exact_search | Reasoning about change time and causation from the standpoint of artificial intelligence |
title_full | Reasoning about change time and causation from the standpoint of artificial intelligence Yoav Shoham |
title_fullStr | Reasoning about change time and causation from the standpoint of artificial intelligence Yoav Shoham |
title_full_unstemmed | Reasoning about change time and causation from the standpoint of artificial intelligence Yoav Shoham |
title_short | Reasoning about change |
title_sort | reasoning about change time and causation from the standpoint of artificial intelligence |
title_sub | time and causation from the standpoint of artificial intelligence |
topic | Intelligence artificielle Intelligence artificielle ram Kunstmatige intelligentie gtt Redeneren gtt Systèmes experts (informatique) ram Temps causalité inriac intelligence artificielle inriac logique temporelle inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Causation Reasoning Time Künstliche Intelligenz (DE-588)4033447-8 gnd Temporale Logik (DE-588)4137542-7 gnd Logik (DE-588)4036202-4 gnd Zeit (DE-588)4067461-7 gnd Kausalität (DE-588)4030102-3 gnd Modallogik (DE-588)4074914-9 gnd |
topic_facet | Intelligence artificielle Kunstmatige intelligentie Redeneren Systèmes experts (informatique) Temps causalité intelligence artificielle logique temporelle raisonnement Künstliche Intelligenz Artificial intelligence Causation Reasoning Time Temporale Logik Logik Zeit Kausalität Modallogik Hochschulschrift |
work_keys_str_mv | AT shohamyoav reasoningaboutchangetimeandcausationfromthestandpointofartificialintelligence |