Non-monotonic reasoning: formalization of commonsense reasoning
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York u.a.
Ellis Horwood
1990
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Ellis Horwood series in artificial intelligence
|
| Schlagworte: | |
| Beschreibung: | 328 S. |
| ISBN: | 0136244467 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004247786 | ||
| 003 | DE-604 | ||
| 005 | 20200708 | ||
| 007 | t | ||
| 008 | 910304s1990 |||| 00||| engod | ||
| 020 | |a 0136244467 |9 0-13-624446-7 | ||
| 035 | |a (OCoLC)21909024 | ||
| 035 | |a (DE-599)BVBBV004247786 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-355 |a DE-29T |a DE-706 |a DE-83 |a DE-91G |a DE-188 | ||
| 050 | 0 | |a Q335 | |
| 082 | 0 | |a 006.3 |2 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a DAT 703f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 100 | 1 | |a Łukaszewicz, Witold |d 1947- |e Verfasser |0 (DE-588)1158097441 |4 aut | |
| 245 | 1 | 0 | |a Non-monotonic reasoning |b formalization of commonsense reasoning |c Witold Łukaszewicz |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a New York u.a. |b Ellis Horwood |c 1990 | |
| 300 | |a 328 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Ellis Horwood series in artificial intelligence | |
| 650 | 7 | |a Intelligence artificielle |2 ram | |
| 650 | 7 | |a Logique |2 ram | |
| 650 | 7 | |a Raisonnement |2 ram | |
| 650 | 7 | |a Sens commun |2 ram | |
| 650 | 7 | |a circonscription |2 inriac | |
| 650 | 7 | |a intelligence artificielle |2 inriac | |
| 650 | 7 | |a logique défaut |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique non monotone |2 inriac | |
| 650 | 7 | |a raisonnement non monotone |2 inriac | |
| 650 | 7 | |a raisonnement |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Nonmonotonic reasoning | |
| 650 | 0 | 7 | |a Urteilen |0 (DE-588)4078671-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nichtmonotones Schließen |0 (DE-588)4210699-0 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Urteilen |0 (DE-588)4078671-7 |D s |
| 689 | 1 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Nichtmonotone Logik |0 (DE-588)4278597-2 |D s |
| 689 | 2 | |8 1\p |5 DE-604 | |
| 940 | 1 | |n oe | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002642602 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804118444156649472 |
|---|---|
| any_adam_object | |
| author | Łukaszewicz, Witold 1947- |
| author_GND | (DE-588)1158097441 |
| author_facet | Łukaszewicz, Witold 1947- |
| author_role | aut |
| author_sort | Łukaszewicz, Witold 1947- |
| author_variant | w ł wł |
| building | Verbundindex |
| bvnumber | BV004247786 |
| 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 |
| classification_tum | DAT 703f DAT 540f |
| ctrlnum | (OCoLC)21909024 (DE-599)BVBBV004247786 |
| 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 |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02389nam a2200685 c 4500</leader><controlfield tag="001">BV004247786</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200708 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910304s1990 |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0136244467</subfield><subfield code="9">0-13-624446-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21909024</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004247786</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-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</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">20</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">DAT 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Łukaszewicz, Witold</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1158097441</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Non-monotonic reasoning</subfield><subfield code="b">formalization of commonsense reasoning</subfield><subfield code="c">Witold Łukaszewicz</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Ellis Horwood</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">328 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">Ellis Horwood series in artificial intelligence</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">Logique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Sens commun</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">circonscription</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 défaut</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique modale</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique non monotone</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement non monotone</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">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonmonotonic reasoning</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Urteilen</subfield><subfield code="0">(DE-588)4078671-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</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="650" ind1="0" ind2="7"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="0">(DE-588)4278597-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nichtmonotones Schließen</subfield><subfield code="0">(DE-588)4210699-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Urteilen</subfield><subfield code="0">(DE-588)4078671-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Nichtmonotone Logik</subfield><subfield code="0">(DE-588)4278597-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002642602</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></record></collection> |
| id | DE-604.BV004247786 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:10:23Z |
| institution | BVB |
| isbn | 0136244467 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002642602 |
| oclc_num | 21909024 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-355 DE-BY-UBR DE-29T DE-706 DE-83 DE-91G DE-BY-TUM DE-188 |
| owner_facet | DE-12 DE-739 DE-355 DE-BY-UBR DE-29T DE-706 DE-83 DE-91G DE-BY-TUM DE-188 |
| physical | 328 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Ellis Horwood |
| record_format | marc |
| series2 | Ellis Horwood series in artificial intelligence |
| spelling | Łukaszewicz, Witold 1947- Verfasser (DE-588)1158097441 aut Non-monotonic reasoning formalization of commonsense reasoning Witold Łukaszewicz 1. publ. New York u.a. Ellis Horwood 1990 328 S. txt rdacontent n rdamedia nc rdacarrier Ellis Horwood series in artificial intelligence Intelligence artificielle ram Logique ram Raisonnement ram Sens commun ram circonscription inriac intelligence artificielle inriac logique défaut inriac logique modale inriac logique non monotone inriac raisonnement non monotone inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Logic Nonmonotonic reasoning Urteilen (DE-588)4078671-7 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Nichtmonotone Logik (DE-588)4278597-2 gnd rswk-swf Nichtmonotones Schließen (DE-588)4210699-0 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Urteilen (DE-588)4078671-7 s Nichtmonotone Logik (DE-588)4278597-2 s 1\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Łukaszewicz, Witold 1947- Non-monotonic reasoning formalization of commonsense reasoning Intelligence artificielle ram Logique ram Raisonnement ram Sens commun ram circonscription inriac intelligence artificielle inriac logique défaut inriac logique modale inriac logique non monotone inriac raisonnement non monotone inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Logic Nonmonotonic reasoning Urteilen (DE-588)4078671-7 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Nichtmonotone Logik (DE-588)4278597-2 gnd |
| subject_GND | (DE-588)4078671-7 (DE-588)4210699-0 (DE-588)4033447-8 (DE-588)4278597-2 |
| title | Non-monotonic reasoning formalization of commonsense reasoning |
| title_auth | Non-monotonic reasoning formalization of commonsense reasoning |
| title_exact_search | Non-monotonic reasoning formalization of commonsense reasoning |
| title_full | Non-monotonic reasoning formalization of commonsense reasoning Witold Łukaszewicz |
| title_fullStr | Non-monotonic reasoning formalization of commonsense reasoning Witold Łukaszewicz |
| title_full_unstemmed | Non-monotonic reasoning formalization of commonsense reasoning Witold Łukaszewicz |
| title_short | Non-monotonic reasoning |
| title_sort | non monotonic reasoning formalization of commonsense reasoning |
| title_sub | formalization of commonsense reasoning |
| topic | Intelligence artificielle ram Logique ram Raisonnement ram Sens commun ram circonscription inriac intelligence artificielle inriac logique défaut inriac logique modale inriac logique non monotone inriac raisonnement non monotone inriac raisonnement inriac Künstliche Intelligenz Artificial intelligence Logic Nonmonotonic reasoning Urteilen (DE-588)4078671-7 gnd Nichtmonotones Schließen (DE-588)4210699-0 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Nichtmonotone Logik (DE-588)4278597-2 gnd |
| topic_facet | Intelligence artificielle Logique Raisonnement Sens commun circonscription intelligence artificielle logique défaut logique modale logique non monotone raisonnement non monotone raisonnement Künstliche Intelligenz Artificial intelligence Logic Nonmonotonic reasoning Urteilen Nichtmonotones Schließen Nichtmonotone Logik |
| work_keys_str_mv | AT łukaszewiczwitold nonmonotonicreasoningformalizationofcommonsensereasoning |