Revision, acceptability and context: theoretical and algorithmic aspects
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2010
|
| Schriftenreihe: | Cognitive Technologies
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHM01 UBG01 UBT01 UBW01 UBY01 UPA01 Volltext Inhaltsverzeichnis |
| Beschreibung: | 1 Online-Ressource (VI, 385 S.) 235 mm x 155 mm |
| ISBN: | 9783642141591 |
| DOI: | 10.1007/978-3-642-14159-1 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036679560 | ||
| 003 | DE-604 | ||
| 005 | 20150210 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 100921s2010 gw |||| o||u| ||||||eng d | ||
| 015 | |a 10,N22 |2 dnb | ||
| 016 | 7 | |a 1002961742 |2 DE-101 | |
| 020 | |a 9783642141591 |c Online |9 978-3-642-14159-1 | ||
| 024 | 7 | |a 10.1007/978-3-642-14159-1 |2 doi | |
| 024 | 3 | |a 9783642141584 | |
| 028 | 5 | 2 | |a 12811045 |
| 035 | |a (OCoLC)700514132 | ||
| 035 | |a (DE-599)DNB1002961742 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-M347 |a DE-473 |a DE-20 |a DE-703 |a DE-739 |a DE-706 |a DE-634 | ||
| 082 | 0 | |a 006.333 |2 22/ger | |
| 084 | |a ST 690 |0 (DE-625)143691: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Gabbay, Dov M. |d 1945- |e Verfasser |0 (DE-588)124196314 |4 aut | |
| 245 | 1 | 0 | |a Revision, acceptability and context |b theoretical and algorithmic aspects |c Dov M. Gabbay ; Odinaldo T. Rodrigues ; Alexandra Russo |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2010 | |
| 300 | |a 1 Online-Ressource (VI, 385 S.) |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Cognitive Technologies | |
| 650 | 0 | 7 | |a Wissensrevision |0 (DE-588)4273403-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schlussfolgern |0 (DE-588)4251178-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Wissensrevision |0 (DE-588)4273403-4 |D s |
| 689 | 0 | 1 | |a Schlussfolgern |0 (DE-588)4251178-1 |D s |
| 689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Rodrigues, Odinaldo T. |e Verfasser |0 (DE-588)142293466 |4 aut | |
| 700 | 1 | |a Russo, Alexandra |e Verfasser |0 (DE-588)14291391X |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-3-642-14158-4 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-14159-1 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020598454&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SCS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020598454 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-642-14159-1 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14159-1 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14159-1 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14159-1 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14159-1 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14159-1 |l UBY01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-642-14159-1 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804143307681431552 |
|---|---|
| adam_text | CONTENTS 1 BACKGROUND AND OVERVIEW 1 1.1 INTRODUCTORY DISCUSSION 1 1.2
FOCUSING ON ACCEPTABILITY RATHER THAN INCONSISTENCY 5 1.3 OVERVIEW
OF THIS BOOK 7 1.4 NOTATION USED IN THIS BOOK 8 1.5 BASIC MATHEMATICAL
NOTIONS 10 REFERENCES 11 2 INTRODUCING REVISION THEORY 13 2.1 AGM BELIEF
REVISION 13 2.2 KATSUNO AND MENDELZON S CHARACTERISATION 20 2.3
COUNTERFACTUAL STATEMENTS AND THE RAMSEY TEST 21 2.4 GROVE S SYSTEMS OF
SPHERES 25 2.5 EPISTEMIC ENTRENCHMENT 28 2.6 DISCUSSION 30 2.7 ACTION
UPDATES 30 2.8 GENERALISING THE CONCEPT OF REVISION 33 2.9 ITERATING THE
REVISION OPERATION 37 2.9.1 DARWICHE AND PEARL S POSTULATES FOR ITERATED
REVISIONS 37 2.9.2 LEHMANN S APPROACH: BELIEF REVISION, REVISED 40 2.10
COMPROMISE REVISION 41 2.11 CONTROLLED REVISION 45 2.12 REVISION BY
TRANSLATION 47 2.13 A GENERAL SETTING FOR ALGORITHMIC REVISION 49 2.14
OUTLINE OF THIS BOOK 52 REFERENCES 52 3 STEPWISE REVISION OPERATIONS 55
3.1 INTRODUCTION 55 3.2 QUANTITATIVE MEASUREMENT OF CHANGE 55 3.2.1
MINIMAL CHANGE AND THE FUNCTION D 56 BIBLIOGRAFISCHE INFORMATIONEN
HTTP://D-NB.INFO/1002961742 DIGITALISIERT DURCH CONTENTS 3.3 QUALITATIVE
MEASUREMENTS OF CHANGE 63 3.4 REPRESENTATION ISSUES 65 3.5 REVISION OF
FORMULAE 67 3.6 PROPERTIES OF THE REVISION OPERATOR O R 70 3.7 OTHER
BELIEF CHANGE OPERATORS 77 3.7.1 BELIEF CONTRACTION 77 3.7.2
CONSOLIDATING INFORMATION ON THE BELIEF BASE 82 3.8 COMPARISON WITH
OTHER BELIEF CHANGE OPERATORS 85 3.9 OPERATORS FOR REASONING ABOUT THE
EFFECTS OF ACTIONS 88 3.9.1 UPDATES OF SENTENCES VIA DISTANCE D 89 3.9.2
PROPERTIES OF THE ACTION UPDATE OPERATOR 93 3.9.3 ACTION UPDATES OF
SENTENCES VIA DISTANCE DIFF 96 3.9.4 AMBIGUOUS ACTION UPDATES 98 3.9.5
TAKING CAUSALITY INTO ACCOUNT 100 REFERENCES 1 02 ITERATING REVISION 105
4.1 INTRODUCTION 105 4.2 MOTIVATING STRUCTURE FOR BELIEF REVISION 107
4.3 ITERATION OF THE REVISION OPERATION 108 4.4 PRIORITISED DATABASES
ILL 4.4.1 PROPERTIES OF THE REVISIONS OF PDBS 115 4.4.2 DISCUSSION ABOUT
ITERATION OF REVISION 119 4.5 STRUCTURED DATABASES 124 4.6 APPLICATIONS
AND EXAMPLES 126 4.7 RELATED WORK 128 4.7.1 PRIORITISED BASE REVISION
128 4.7.2 ORDERED THEORY PRESENTATIONS 131 4.8 USING ADDITIONAL
INFORMATION FOR ACTION UPDATES 132 REFERENCES 136 STRUCTURED REVISION
139 5. CONTENTS ALGORITHMIC CONTEXT REVISION 177 6. 1 INTRODUCTION 177
6.2 ABDUCTIVE REVISION 177 6.2.1 INTRODUCING LDS FOR = 180 6.2.2
GOAL-DIRECTED ALGORITHM FOR = * 183 6.2.3 DISCUSSION ON THE ABDUCTION
PROCEDURE 187 6.2.4 ABDUCTION ALGORITHM FOR = 192 6.2.5 ABDUCTION FOR
INTUITIONISTIC LOGIC 194 6.3 COMPROMISE REVISION 197 6.3.1 INTRODUCING
COMPROMISE REVISION FOR = 197 6.3.2 COMPARISON WITH AGM REVISION 210
6.4 CONTROLLED REVISION 214 6.4.1 PROOF THEORY 216 6.4.2 POLICIES FOR
INCONSISTENCY 217 6.4.3 CONCLUSIONS 221 REFERENCES 222 REVISION BY
TRANSLATION 223 7.1 INTRODUCTION 223 7.2 BELIEF REVISION FOR MODAL LOGIC
225 7.2.1 AN OVERVIEW OF PROPOSITIONAL MODAL LOGICS 225 7.2.2 HUBERT
SYSTEMS FOR MODAL LOGICS 230 7.2.3 TRANSLATION OF THE MODAL LOGIC K INTO
CLASSICAL LOGIC 233 7.3 REVISING IN LUKASIEWICZ FINITELY MANY-VALUED
LOGIC L* 235 7.3.1 LUKASIEWICZ FINITELY MANY-VALUED LOGIC L* 235 7.3.2
TRANSLATING LUKASIEWICZ MANY-VALUED LOGIC L N INTO CLASSICAL LOGIC 241
7.3.3 REVISION IN LUKASIEWICZ MANY-VALUED LOGIC (L N ) 244 7.4 REVISING
IN ALGEBRAIC LOGICS 246 7.4. X CONTENTS 8 OBJECT-LEVEL DELETION 271 8.1
INTRODUCTION 271 8.2 OBJECT-LEVEL X META-LEVEL OPERATIONS 271 8.3 THE
NEED FOR OBJECT-LEVEL DELETION 274 8.4 STRATEGY OF THE TECHNIQUE 279 8.5
SUBSTRUCTURAL LOGICS 281 8.5.1 HUBERT AND GENTZEN FORMULATIONS 282 8.5.2
GOAL-DIRECTED PROOF THEORY 288 8.5.3 SEMANTICS 297 8.6 INTRODUCING
ANTI-FORMULAE IN CONCATENATION AND LINEAR LOGIC 304 8.6.1 ANALYSIS 305
8.6.2 INTRODUCING ANTI-FORMULAE INTO LOGICS WITH = * AND E 310 8.6.3
ANTI-FORMULAE AND NEGATION 315 8.7 THE NOTION OF FAILURE IN RESOURCE
LOGICS 321 8.8 DELETION IN RESOURCE-UNBOUNDED LOGICS 325 8.9 LOGICAL
DELETION IN LDS 327 8.10 INTRODUCING JV-PROLOG WITH NEGATION AS FAILURE
336 8.11 EXPLORING DELETION VIA ADDITION 344 8.12 A FORMAL SYSTEM FOR
DELETION VIA ADDITION 353 8.13 CONCLUDING REMARKS 355 REFERENCES 358 9
CONCLUSIONS AND DISCUSSIONS 359 9.1 CONCLUDING REMARKS 359 9.2
DISCUSSIONS 364 REFERENCES 374 LIST OF SYMBOLS 377 SUBJECT INDEX 379
|
| any_adam_object | 1 |
| author | Gabbay, Dov M. 1945- Rodrigues, Odinaldo T. Russo, Alexandra |
| author_GND | (DE-588)124196314 (DE-588)142293466 (DE-588)14291391X |
| author_facet | Gabbay, Dov M. 1945- Rodrigues, Odinaldo T. Russo, Alexandra |
| author_role | aut aut aut |
| author_sort | Gabbay, Dov M. 1945- |
| author_variant | d m g dm dmg o t r ot otr a r ar |
| building | Verbundindex |
| bvnumber | BV036679560 |
| classification_rvk | ST 690 |
| collection | ZDB-2-SCS |
| ctrlnum | (OCoLC)700514132 (DE-599)DNB1002961742 |
| dewey-full | 006.333 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.333 |
| dewey-search | 006.333 |
| dewey-sort | 16.333 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-642-14159-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02831nmm a2200613 c 4500</leader><controlfield tag="001">BV036679560</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150210 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">100921s2010 gw |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N22</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1002961742</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642141591</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-14159-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-14159-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642141584</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12811045</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)700514132</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1002961742</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-M347</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.333</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 690</subfield><subfield code="0">(DE-625)143691:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Revision, acceptability and context</subfield><subfield code="b">theoretical and algorithmic aspects</subfield><subfield code="c">Dov M. Gabbay ; Odinaldo T. Rodrigues ; Alexandra Russo</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 385 S.)</subfield><subfield code="c">235 mm x 155 mm</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Cognitive Technologies</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensrevision</subfield><subfield code="0">(DE-588)4273403-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</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="689" ind1="0" ind2="0"><subfield code="a">Wissensrevision</subfield><subfield code="0">(DE-588)4273403-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rodrigues, Odinaldo T.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)142293466</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Russo, Alexandra</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)14291391X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-3-642-14158-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-14159-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=020598454&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020598454</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14159-1</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14159-1</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14159-1</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14159-1</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14159-1</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14159-1</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-14159-1</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV036679560 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:45:35Z |
| institution | BVB |
| isbn | 9783642141591 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020598454 |
| oclc_num | 700514132 |
| open_access_boolean | |
| owner | DE-M347 DE-473 DE-BY-UBG DE-20 DE-703 DE-739 DE-706 DE-634 |
| owner_facet | DE-M347 DE-473 DE-BY-UBG DE-20 DE-703 DE-739 DE-706 DE-634 |
| physical | 1 Online-Ressource (VI, 385 S.) 235 mm x 155 mm |
| psigel | ZDB-2-SCS |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series2 | Cognitive Technologies |
| spelling | Gabbay, Dov M. 1945- Verfasser (DE-588)124196314 aut Revision, acceptability and context theoretical and algorithmic aspects Dov M. Gabbay ; Odinaldo T. Rodrigues ; Alexandra Russo Berlin [u.a.] Springer 2010 1 Online-Ressource (VI, 385 S.) 235 mm x 155 mm txt rdacontent c rdamedia cr rdacarrier Cognitive Technologies Wissensrevision (DE-588)4273403-4 gnd rswk-swf Schlussfolgern (DE-588)4251178-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Wissensrevision (DE-588)4273403-4 s Schlussfolgern (DE-588)4251178-1 s Logik (DE-588)4036202-4 s DE-604 Rodrigues, Odinaldo T. Verfasser (DE-588)142293466 aut Russo, Alexandra Verfasser (DE-588)14291391X aut Erscheint auch als Druck-Ausgabe, Hardcover 978-3-642-14158-4 https://doi.org/10.1007/978-3-642-14159-1 Verlag Volltext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020598454&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Gabbay, Dov M. 1945- Rodrigues, Odinaldo T. Russo, Alexandra Revision, acceptability and context theoretical and algorithmic aspects Wissensrevision (DE-588)4273403-4 gnd Schlussfolgern (DE-588)4251178-1 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4273403-4 (DE-588)4251178-1 (DE-588)4036202-4 |
| title | Revision, acceptability and context theoretical and algorithmic aspects |
| title_auth | Revision, acceptability and context theoretical and algorithmic aspects |
| title_exact_search | Revision, acceptability and context theoretical and algorithmic aspects |
| title_full | Revision, acceptability and context theoretical and algorithmic aspects Dov M. Gabbay ; Odinaldo T. Rodrigues ; Alexandra Russo |
| title_fullStr | Revision, acceptability and context theoretical and algorithmic aspects Dov M. Gabbay ; Odinaldo T. Rodrigues ; Alexandra Russo |
| title_full_unstemmed | Revision, acceptability and context theoretical and algorithmic aspects Dov M. Gabbay ; Odinaldo T. Rodrigues ; Alexandra Russo |
| title_short | Revision, acceptability and context |
| title_sort | revision acceptability and context theoretical and algorithmic aspects |
| title_sub | theoretical and algorithmic aspects |
| topic | Wissensrevision (DE-588)4273403-4 gnd Schlussfolgern (DE-588)4251178-1 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Wissensrevision Schlussfolgern Logik |
| url | https://doi.org/10.1007/978-3-642-14159-1 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020598454&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gabbaydovm revisionacceptabilityandcontexttheoreticalandalgorithmicaspects AT rodriguesodinaldot revisionacceptabilityandcontexttheoreticalandalgorithmicaspects AT russoalexandra revisionacceptabilityandcontexttheoreticalandalgorithmicaspects |