From modal logic to deductive databases: introducing a logic based approach to artificial intelligence
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Chichester [u.a.]
Wiley
1989
|
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 351 - 369 |
| Beschreibung: | XXIV, 380 S. graph. Darst. |
| ISBN: | 0471923451 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002304384 | ||
| 003 | DE-604 | ||
| 005 | 20240201 | ||
| 007 | t | ||
| 008 | 891204s1989 d||| |||| 00||| engod | ||
| 020 | |a 0471923451 |c pb |9 0-471-92345-1 | ||
| 035 | |a (OCoLC)19668925 | ||
| 035 | |a (DE-599)BVBBV002304384 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-20 |a DE-29T |a DE-19 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a Q336 | |
| 080 | |a 007.52 | ||
| 082 | 0 | |a 006.3 |2 20 | |
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a From modal logic to deductive databases |b introducing a logic based approach to artificial intelligence |c ed. André Thayse ; authors Paul Gochet ... |
| 246 | 1 | 3 | |a Modal logic to deductive databases |
| 264 | 1 | |a Chichester [u.a.] |b Wiley |c 1989 | |
| 300 | |a XXIV, 380 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 351 - 369 | ||
| 650 | 4 | |a Intelligence artificielle - Informatique | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Logisch programmeren |2 gtt | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a base donnée déductive |2 inriac | |
| 650 | 7 | |a grammaire Montague |2 inriac | |
| 650 | 7 | |a langage formel |2 inriac | |
| 650 | 7 | |a langage naturel |2 inriac | |
| 650 | 7 | |a logique modale |2 inriac | |
| 650 | 7 | |a logique non monotone |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a raisonnement |2 inriac | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |x Data processing | |
| 650 | 4 | |a Logic programming | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrepräsentation |0 (DE-588)4049534-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |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 Wissensrepräsentation |0 (DE-588)4049534-6 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Thayse, André |d 1940- |0 (DE-588)142381403 |4 edt | |
| 700 | 1 | |a Gochet, Paul |d 1932- |0 (DE-588)131367633 |4 aut | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001514475 | ||
Datensatz im Suchindex
| _version_ | 1804116765322510336 |
|---|---|
| any_adam_object | |
| author | Gochet, Paul 1932- |
| author2 | Thayse, André 1940- |
| author2_role | edt |
| author2_variant | a t at |
| author_GND | (DE-588)142381403 (DE-588)131367633 |
| author_facet | Gochet, Paul 1932- Thayse, André 1940- |
| author_role | aut |
| author_sort | Gochet, Paul 1932- |
| author_variant | p g pg |
| building | Verbundindex |
| bvnumber | BV002304384 |
| callnumber-first | Q - Science |
| callnumber-label | Q336 |
| callnumber-raw | Q336 |
| callnumber-search | Q336 |
| callnumber-sort | Q 3336 |
| callnumber-subject | Q - General Science |
| classification_rvk | ST 285 |
| classification_tum | DAT 540f |
| ctrlnum | (OCoLC)19668925 (DE-599)BVBBV002304384 |
| 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>02486nam a2200673 c 4500</leader><controlfield tag="001">BV002304384</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240201 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">891204s1989 d||| |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0471923451</subfield><subfield code="c">pb</subfield><subfield code="9">0-471-92345-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)19668925</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002304384</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-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q336</subfield></datafield><datafield tag="080" ind1=" " ind2=" "><subfield code="a">007.52</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From modal logic to deductive databases</subfield><subfield code="b">introducing a logic based approach to artificial intelligence</subfield><subfield code="c">ed. André Thayse ; authors Paul Gochet ...</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Modal logic to deductive databases</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Chichester [u.a.]</subfield><subfield code="b">Wiley</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIV, 380 S.</subfield><subfield code="b">graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 351 - 369</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Informatique</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">Logisch programmeren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée déductive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">grammaire Montague</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage naturel</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">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</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">Datenverarbeitung</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><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</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">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="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</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">Wissensrepräsentation</subfield><subfield code="0">(DE-588)4049534-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thayse, André</subfield><subfield code="d">1940-</subfield><subfield code="0">(DE-588)142381403</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gochet, Paul</subfield><subfield code="d">1932-</subfield><subfield code="0">(DE-588)131367633</subfield><subfield code="4">aut</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001514475</subfield></datafield></record></collection> |
| id | DE-604.BV002304384 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:43:42Z |
| institution | BVB |
| isbn | 0471923451 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001514475 |
| oclc_num | 19668925 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-20 DE-29T DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-20 DE-29T DE-19 DE-BY-UBM DE-83 DE-11 DE-188 |
| physical | XXIV, 380 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Wiley |
| record_format | marc |
| spelling | From modal logic to deductive databases introducing a logic based approach to artificial intelligence ed. André Thayse ; authors Paul Gochet ... Modal logic to deductive databases Chichester [u.a.] Wiley 1989 XXIV, 380 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 351 - 369 Intelligence artificielle - Informatique Kunstmatige intelligentie gtt Logisch programmeren gtt Programmation logique base donnée déductive inriac grammaire Montague inriac langage formel inriac langage naturel inriac logique modale inriac logique non monotone inriac logique temporelle inriac programmation en logique inriac raisonnement inriac Datenverarbeitung Künstliche Intelligenz Artificial intelligence Data processing Logic programming Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Wissensrepräsentation (DE-588)4049534-6 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Wissensrepräsentation (DE-588)4049534-6 s Mathematische Logik (DE-588)4037951-6 s Thayse, André 1940- (DE-588)142381403 edt Gochet, Paul 1932- (DE-588)131367633 aut |
| spellingShingle | Gochet, Paul 1932- From modal logic to deductive databases introducing a logic based approach to artificial intelligence Intelligence artificielle - Informatique Kunstmatige intelligentie gtt Logisch programmeren gtt Programmation logique base donnée déductive inriac grammaire Montague inriac langage formel inriac langage naturel inriac logique modale inriac logique non monotone inriac logique temporelle inriac programmation en logique inriac raisonnement inriac Datenverarbeitung Künstliche Intelligenz Artificial intelligence Data processing Logic programming Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4049534-6 (DE-588)4195096-3 (DE-588)4037951-6 |
| title | From modal logic to deductive databases introducing a logic based approach to artificial intelligence |
| title_alt | Modal logic to deductive databases |
| title_auth | From modal logic to deductive databases introducing a logic based approach to artificial intelligence |
| title_exact_search | From modal logic to deductive databases introducing a logic based approach to artificial intelligence |
| title_full | From modal logic to deductive databases introducing a logic based approach to artificial intelligence ed. André Thayse ; authors Paul Gochet ... |
| title_fullStr | From modal logic to deductive databases introducing a logic based approach to artificial intelligence ed. André Thayse ; authors Paul Gochet ... |
| title_full_unstemmed | From modal logic to deductive databases introducing a logic based approach to artificial intelligence ed. André Thayse ; authors Paul Gochet ... |
| title_short | From modal logic to deductive databases |
| title_sort | from modal logic to deductive databases introducing a logic based approach to artificial intelligence |
| title_sub | introducing a logic based approach to artificial intelligence |
| topic | Intelligence artificielle - Informatique Kunstmatige intelligentie gtt Logisch programmeren gtt Programmation logique base donnée déductive inriac grammaire Montague inriac langage formel inriac langage naturel inriac logique modale inriac logique non monotone inriac logique temporelle inriac programmation en logique inriac raisonnement inriac Datenverarbeitung Künstliche Intelligenz Artificial intelligence Data processing Logic programming Künstliche Intelligenz (DE-588)4033447-8 gnd Wissensrepräsentation (DE-588)4049534-6 gnd Logische Programmierung (DE-588)4195096-3 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Intelligence artificielle - Informatique Kunstmatige intelligentie Logisch programmeren Programmation logique base donnée déductive grammaire Montague langage formel langage naturel logique modale logique non monotone logique temporelle programmation en logique raisonnement Datenverarbeitung Künstliche Intelligenz Artificial intelligence Data processing Logic programming Wissensrepräsentation Logische Programmierung Mathematische Logik |
| work_keys_str_mv | AT thayseandre frommodallogictodeductivedatabasesintroducingalogicbasedapproachtoartificialintelligence AT gochetpaul frommodallogictodeductivedatabasesintroducingalogicbasedapproachtoartificialintelligence AT thayseandre modallogictodeductivedatabases AT gochetpaul modallogictodeductivedatabases |