Practical reasoning: International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
1996
|
| Series: | Lecture notes in computer science
1085 : Lecture notes in artificial intelligence |
| Subjects: | |
| Physical Description: | XV, 719 S. graph. Darst. |
| ISBN: | 3540613137 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010746152 | ||
| 003 | DE-604 | ||
| 005 | 19960829 | ||
| 007 | t| | ||
| 008 | 960429s1996 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 947323775 |2 DE-101 | |
| 020 | |a 3540613137 |9 3-540-61313-7 | ||
| 035 | |a (OCoLC)34676096 | ||
| 035 | |a (DE-599)BVBBV010746152 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-355 |a DE-19 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.A96I575 1996 | |
| 082 | 0 | |a 006.3 20 | |
| 082 | 0 | |a 006.3 |2 20 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 5200 |0 (DE-625)17636: |2 rvk | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a 10 |2 sdnb | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a 37 |2 sdnb | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Practical reasoning |b International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings |c Dov M. Gabbay ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1996 | |
| 300 | |a XV, 719 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1085 : Lecture notes in artificial intelligence | |
| 650 | 7 | |a Argumentation (logique) - Congrès |2 ram | |
| 650 | 4 | |a Intelligence artificielle - Congrès | |
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Logique - Congrès |2 ram | |
| 650 | 4 | |a Raisonnement - Congrès | |
| 650 | 7 | |a Raisonnement - Congrès |2 ram | |
| 650 | 4 | |a Théorèmes - Démonstration automatique - Congrès | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 7 | |a analogie |2 inriac | |
| 650 | 7 | |a argumentation |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a modélisation utilisateur |2 inriac | |
| 650 | 7 | |a raisonnement formel |2 inriac | |
| 650 | 7 | |a raisonnement par défaut |2 inriac | |
| 650 | 7 | |a raisonnement temporel |2 inriac | |
| 650 | 7 | |a raisonnement |2 inriac | |
| 650 | 7 | |a système intelligent |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Automatic theorem proving -- Congresses | |
| 650 | 4 | |a Practical reason -- Congresses | |
| 650 | 4 | |a Reasoning -- Congresses | |
| 650 | 4 | |a Artificial intelligence -- Congresses | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logischer Schluss |0 (DE-588)4139983-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Bonn |2 gnd-content | |
| 689 | 0 | 0 | |a Logischer Schluss |0 (DE-588)4139983-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Gabbay, Dov M. |d 1945- |e Sonstige |0 (DE-588)124196314 |4 oth | |
| 711 | 2 | |a International Conference on Formal and Applied Practical Reasoning |d 1996 |c Bonn |j Sonstige |0 (DE-588)2155536-9 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1085 : Lecture notes in artificial intelligence |w (DE-604)BV000000607 |9 1085 : Lecture | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007176544 | |
Record in the Search Index
| _version_ | 1820868176583327744 |
|---|---|
| adam_text | |
| any_adam_object | |
| author_GND | (DE-588)124196314 |
| building | Verbundindex |
| bvnumber | BV010746152 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.A96I575 1996 |
| callnumber-search | QA76.9.A96I575 1996 |
| callnumber-sort | QA 276.9 A96 I575 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2500 CC 5200 ST 285 |
| classification_tum | DAT 706f |
| ctrlnum | (OCoLC)34676096 (DE-599)BVBBV010746152 |
| dewey-full | 006.320 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 20 006.3 |
| dewey-search | 006.3 20 006.3 |
| dewey-sort | 16.3 220 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Philosophie |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010746152</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960829</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960429s1996 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">947323775</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540613137</subfield><subfield code="9">3-540-61313-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34676096</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010746152</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</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">QA76.9.A96I575 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3 20</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">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 5200</subfield><subfield code="0">(DE-625)17636:</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">10</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">37</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Practical reasoning</subfield><subfield code="b">International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings</subfield><subfield code="c">Dov M. Gabbay ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 719 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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1085 : Lecture notes in artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Argumentation (logique) - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Intelligence artificielle - Congrès</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">Logique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Raisonnement - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Théorèmes - Démonstration automatique - Congrès</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">analogie</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">argumentation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modélisation utilisateur</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement formel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement par défaut</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement temporel</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="7"><subfield code="a">système intelligent</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">Automatic theorem proving -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Practical reason -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence -- Congresses</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">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">Bonn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logischer Schluss</subfield><subfield code="0">(DE-588)4139983-3</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">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="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Formal and Applied Practical Reasoning</subfield><subfield code="d">1996</subfield><subfield code="c">Bonn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2155536-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1085 : Lecture notes in artificial intelligence</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1085 : Lecture</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007176544</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Bonn gnd-content |
| genre_facet | Konferenzschrift 1996 Bonn |
| id | DE-604.BV010746152 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:13Z |
| institution | BVB |
| institution_GND | (DE-588)2155536-9 |
| isbn | 3540613137 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007176544 |
| oclc_num | 34676096 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | XV, 719 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings Dov M. Gabbay ... (eds.) Berlin [u.a.] Springer 1996 XV, 719 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1085 : Lecture notes in artificial intelligence Argumentation (logique) - Congrès ram Intelligence artificielle - Congrès Kunstmatige intelligentie gtt Logique - Congrès ram Raisonnement - Congrès Raisonnement - Congrès ram Théorèmes - Démonstration automatique - Congrès Wiskundige logica gtt analogie inriac argumentation inriac logique inriac modélisation utilisateur inriac raisonnement formel inriac raisonnement par défaut inriac raisonnement temporel inriac raisonnement inriac système intelligent inriac Künstliche Intelligenz Automatic theorem proving -- Congresses Practical reason -- Congresses Reasoning -- Congresses Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logischer Schluss (DE-588)4139983-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Bonn gnd-content Logischer Schluss (DE-588)4139983-3 s DE-604 Künstliche Intelligenz (DE-588)4033447-8 s Gabbay, Dov M. 1945- Sonstige (DE-588)124196314 oth International Conference on Formal and Applied Practical Reasoning 1996 Bonn Sonstige (DE-588)2155536-9 oth Lecture notes in computer science 1085 : Lecture notes in artificial intelligence (DE-604)BV000000607 1085 : Lecture |
| spellingShingle | Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings Lecture notes in computer science Argumentation (logique) - Congrès ram Intelligence artificielle - Congrès Kunstmatige intelligentie gtt Logique - Congrès ram Raisonnement - Congrès Raisonnement - Congrès ram Théorèmes - Démonstration automatique - Congrès Wiskundige logica gtt analogie inriac argumentation inriac logique inriac modélisation utilisateur inriac raisonnement formel inriac raisonnement par défaut inriac raisonnement temporel inriac raisonnement inriac système intelligent inriac Künstliche Intelligenz Automatic theorem proving -- Congresses Practical reason -- Congresses Reasoning -- Congresses Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4139983-3 (DE-588)1071861417 |
| title | Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings |
| title_auth | Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings |
| title_exact_search | Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings |
| title_full | Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings Dov M. Gabbay ... (eds.) |
| title_fullStr | Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings Dov M. Gabbay ... (eds.) |
| title_full_unstemmed | Practical reasoning International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings Dov M. Gabbay ... (eds.) |
| title_short | Practical reasoning |
| title_sort | practical reasoning international conference on formal and applied practical reasoning fapr 96 bonn germany june 3 7 1996 proceedings |
| title_sub | International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3 - 7, 1996 ; proceedings |
| topic | Argumentation (logique) - Congrès ram Intelligence artificielle - Congrès Kunstmatige intelligentie gtt Logique - Congrès ram Raisonnement - Congrès Raisonnement - Congrès ram Théorèmes - Démonstration automatique - Congrès Wiskundige logica gtt analogie inriac argumentation inriac logique inriac modélisation utilisateur inriac raisonnement formel inriac raisonnement par défaut inriac raisonnement temporel inriac raisonnement inriac système intelligent inriac Künstliche Intelligenz Automatic theorem proving -- Congresses Practical reason -- Congresses Reasoning -- Congresses Artificial intelligence -- Congresses Künstliche Intelligenz (DE-588)4033447-8 gnd Logischer Schluss (DE-588)4139983-3 gnd |
| topic_facet | Argumentation (logique) - Congrès Intelligence artificielle - Congrès Kunstmatige intelligentie Logique - Congrès Raisonnement - Congrès Théorèmes - Démonstration automatique - Congrès Wiskundige logica analogie argumentation logique modélisation utilisateur raisonnement formel raisonnement par défaut raisonnement temporel raisonnement système intelligent Künstliche Intelligenz Automatic theorem proving -- Congresses Practical reason -- Congresses Reasoning -- Congresses Artificial intelligence -- Congresses Logischer Schluss Konferenzschrift 1996 Bonn |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gabbaydovm practicalreasoninginternationalconferenceonformalandappliedpracticalreasoningfapr96bonngermanyjune371996proceedings AT internationalconferenceonformalandappliedpracticalreasoningbonn practicalreasoninginternationalconferenceonformalandappliedpracticalreasoningfapr96bonngermanyjune371996proceedings |