Logic, action, and information: essays on logic in philosophy and artificial intelligence
Saved in:
| Format: | Book |
|---|---|
| Language: | German |
| Published: |
Berlin [u.a.]
de Gruyter
1996
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 476 S. graph. Darst. |
| ISBN: | 3110139944 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010474673 | ||
| 003 | DE-604 | ||
| 005 | 20021025 | ||
| 007 | t | ||
| 008 | 951106s1996 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 945899246 |2 DE-101 | |
| 020 | |a 3110139944 |c Gewebe : DM 248.00 |9 3-11-013994-4 | ||
| 035 | |a (OCoLC)33209649 | ||
| 035 | |a (DE-599)BVBBV010474673 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29 |a DE-703 |a DE-384 |a DE-M468 |a DE-824 |a DE-355 |a DE-473 |a DE-12 |a DE-19 |a DE-521 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a BC135.L574 1996 | |
| 082 | 0 | |a 160 20 | |
| 082 | 0 | |a 160 |2 20 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a CC 5200 |0 (DE-625)17636: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 28 |2 sdnb | ||
| 084 | |a 10 |2 sdnb | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Logic, action, and information |b essays on logic in philosophy and artificial intelligence |c ed. by André Fuhrmann ... |
| 264 | 1 | |a Berlin [u.a.] |b de Gruyter |c 1996 | |
| 300 | |a X, 476 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Kunstmatige intelligentie |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical -- Congresses | |
| 650 | 4 | |a Information science -- Congresses | |
| 650 | 4 | |a Artificial intelligence -- Congresses | |
| 650 | 4 | |a Act (Philosophy) -- Congresses | |
| 650 | 4 | |a Belief and doubt -- Congresses | |
| 650 | 4 | |a Conditionals (Logic) -- Congresses | |
| 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 |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1992 |z Konstanz |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |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 Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Fuhrmann, André |d 1958- |e Sonstige |0 (DE-588)112774172 |4 oth | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006979421&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006979421 | ||
Record in the Search Index
| _version_ | 1804124906937384960 |
|---|---|
| adam_text | Titel: Logic, action, and information
Autor: Fuhrmann, André
Jahr: 1996
Contents
Preface vii
Action
Janusz Czelakowski
Elements of Formal Action Theory 3
Krister Segerberg
The Delta Operator at Three Levels of Analysis 63
Belief Change
Sven Ove Hansson
Hidden Structures of Belief 79
Wlodzimierz Rabinowicz
Stable Revision, or Is Preservation Worth Preserving? .... 101
Mark D. Ryan
Belief Revision and Ordered Theory Presentations 129
Emil Weydert
Doxastic Normality Logic: A Qualitative Probabilistic
Modal Framework for Defaults and Belief 152
Conditionals and Non-Monotonicity
Gabriella Crocco and Luis Farinas del Cerro
Counterfactuals: Foundations for Nonmonotonic Inferences
Sequent Systems 173
Luis Farinas del Cerro and Andreas Herzig
Revisions, Updates, and Interference 189
Sten Lindstrom
The Ramsey Test and the Indexicality of Conditionals:
A Proposed Resolution of Gardenfors Paradox 208
Karl Schlechta
Some Completeness Results for Classical Preferential Models . . 229
x Contents
Non-Classical Logic and Logic Programming
Jiirgen Dix
Semantics of Logic Programs: Their Intuitions and
Formal Properties. An Overview 241
Dov M. Gabbay and Heinrich Wansing
What is Negation in a System?
Negation in Structured Consequence Relations 328
Ewa Orlowska
Relational Environment for Semigroup Logics 351
David Pearce
Answer Sets and Constructive Logic. Part I: Monotonic
Databases 392
Gerd Wagner
Logics Based on Knowledge Representation Systems .... 415
Cees Witteveen
Belief Revision in Truth Maintenance 447
Index of Names 471
|
| any_adam_object | 1 |
| author_GND | (DE-588)112774172 |
| building | Verbundindex |
| bvnumber | BV010474673 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135.L574 1996 |
| callnumber-search | BC135.L574 1996 |
| callnumber-sort | BC 3135 L574 41996 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 CC 2500 CC 2600 CC 5200 SK 130 |
| ctrlnum | (OCoLC)33209649 (DE-599)BVBBV010474673 |
| dewey-full | 16020 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 20 160 |
| dewey-search | 160 20 160 |
| dewey-sort | 3160 220 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02502nam a2200649 c 4500</leader><controlfield tag="001">BV010474673</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021025 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951106s1996 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">945899246</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110139944</subfield><subfield code="c">Gewebe : DM 248.00</subfield><subfield code="9">3-11-013994-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33209649</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010474673</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</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-29</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135.L574 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</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 2600</subfield><subfield code="0">(DE-625)17610:</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, action, and information</subfield><subfield code="b">essays on logic in philosophy and artificial intelligence</subfield><subfield code="c">ed. by André Fuhrmann ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">de Gruyter</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 476 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="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">Logica</subfield><subfield code="2">gtt</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">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information science -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Act (Philosophy) -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Belief and doubt -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Conditionals (Logic) -- Congresses</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1992</subfield><subfield code="z">Konstanz</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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">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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fuhrmann, André</subfield><subfield code="d">1958-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)112774172</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006979421&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006979421</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1992 Konstanz gnd-content |
| genre_facet | Konferenzschrift 1992 Konstanz |
| id | DE-604.BV010474673 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:53:07Z |
| institution | BVB |
| isbn | 3110139944 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006979421 |
| oclc_num | 33209649 |
| open_access_boolean | |
| owner | DE-29 DE-703 DE-384 DE-M468 DE-824 DE-355 DE-BY-UBR DE-473 DE-BY-UBG DE-12 DE-19 DE-BY-UBM DE-521 DE-83 DE-11 |
| owner_facet | DE-29 DE-703 DE-384 DE-M468 DE-824 DE-355 DE-BY-UBR DE-473 DE-BY-UBG DE-12 DE-19 DE-BY-UBM DE-521 DE-83 DE-11 |
| physical | X, 476 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | de Gruyter |
| record_format | marc |
| spelling | Logic, action, and information essays on logic in philosophy and artificial intelligence ed. by André Fuhrmann ... Berlin [u.a.] de Gruyter 1996 X, 476 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Kunstmatige intelligentie gtt Logica gtt Künstliche Intelligenz Logik Logic, Symbolic and mathematical -- Congresses Information science -- Congresses Artificial intelligence -- Congresses Act (Philosophy) -- Congresses Belief and doubt -- Congresses Conditionals (Logic) -- Congresses Logik (DE-588)4036202-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1992 Konstanz gnd-content Logik (DE-588)4036202-4 s Künstliche Intelligenz (DE-588)4033447-8 s DE-604 Fuhrmann, André 1958- Sonstige (DE-588)112774172 oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006979421&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, action, and information essays on logic in philosophy and artificial intelligence Kunstmatige intelligentie gtt Logica gtt Künstliche Intelligenz Logik Logic, Symbolic and mathematical -- Congresses Information science -- Congresses Artificial intelligence -- Congresses Act (Philosophy) -- Congresses Belief and doubt -- Congresses Conditionals (Logic) -- Congresses Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4033447-8 (DE-588)1071861417 |
| title | Logic, action, and information essays on logic in philosophy and artificial intelligence |
| title_auth | Logic, action, and information essays on logic in philosophy and artificial intelligence |
| title_exact_search | Logic, action, and information essays on logic in philosophy and artificial intelligence |
| title_full | Logic, action, and information essays on logic in philosophy and artificial intelligence ed. by André Fuhrmann ... |
| title_fullStr | Logic, action, and information essays on logic in philosophy and artificial intelligence ed. by André Fuhrmann ... |
| title_full_unstemmed | Logic, action, and information essays on logic in philosophy and artificial intelligence ed. by André Fuhrmann ... |
| title_short | Logic, action, and information |
| title_sort | logic action and information essays on logic in philosophy and artificial intelligence |
| title_sub | essays on logic in philosophy and artificial intelligence |
| topic | Kunstmatige intelligentie gtt Logica gtt Künstliche Intelligenz Logik Logic, Symbolic and mathematical -- Congresses Information science -- Congresses Artificial intelligence -- Congresses Act (Philosophy) -- Congresses Belief and doubt -- Congresses Conditionals (Logic) -- Congresses Logik (DE-588)4036202-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Kunstmatige intelligentie Logica Künstliche Intelligenz Logik Logic, Symbolic and mathematical -- Congresses Information science -- Congresses Artificial intelligence -- Congresses Act (Philosophy) -- Congresses Belief and doubt -- Congresses Conditionals (Logic) -- Congresses Konferenzschrift 1992 Konstanz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006979421&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT fuhrmannandre logicactionandinformationessaysonlogicinphilosophyandartificialintelligence |