Logic, rationality, and interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings
Saved in:
| Other Authors: | |
|---|---|
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg
Springer
[2015]
|
| Edition: | 1st ed. |
| Series: | Lecture Notes in Computer Science
9394 |
| Subjects: | |
| Online Access: | Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | XI, 439 Seiten Illustrationen |
| ISBN: | 9783662485613 9783662485606 |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-662-48561-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043209524 | ||
| 003 | DE-604 | ||
| 005 | 20200514 | ||
| 006 | a |||| 10||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151215s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783662485613 |c Online |9 978-3-662-48561-3 | ||
| 020 | |a 9783662485606 |c Print |9 978-3-662-48560-6 | ||
| 024 | 7 | |a 10.1007/978-3-662-48561-3 |2 doi | |
| 035 | |a (OCoLC)930012301 | ||
| 035 | |a (DE-599)BVBBV043209524 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-384 |a DE-Aug4 |a DE-M347 |a DE-573 |a DE-859 |a DE-703 |a DE-473 |a DE-29 |a DE-706 |a DE-20 |a DE-739 |a DE-92 |a DE-634 |a DE-860 |a DE-861 |a DE-355 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a DAT 700f |2 stub | ||
| 084 | |a DAT 540f |2 stub | ||
| 245 | 1 | 0 | |a Logic, rationality, and interaction |b 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings |c edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang |
| 250 | |a 1st ed. | ||
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c [2015] | |
| 264 | 4 | |c © 2015 | |
| 300 | |a XI, 439 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 9394 |x 0302-9743 | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer science / Mathematics | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Discrete Mathematics in Computer Science | |
| 650 | 4 | |a Symbolic and Algebraic Manipulation | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Problemlösen |0 (DE-588)4076358-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Spieltheorie |0 (DE-588)4056243-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rationalität |0 (DE-588)4048507-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schlussfolgern |0 (DE-588)4251178-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensrevision |0 (DE-588)4273403-4 |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 Lernendes System |0 (DE-588)4120666-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kognitionswissenschaft |0 (DE-588)4193780-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 2 | |a Kognitionswissenschaft |0 (DE-588)4193780-6 |D s |
| 689 | 0 | 3 | |a Spieltheorie |0 (DE-588)4056243-8 |D s |
| 689 | 0 | 4 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | 1 | |a Rationalität |0 (DE-588)4048507-9 |D s |
| 689 | 1 | 2 | |a Wissensrevision |0 (DE-588)4273403-4 |D s |
| 689 | 1 | 3 | |a Problemlösen |0 (DE-588)4076358-4 |D s |
| 689 | 1 | 4 | |a Schlussfolgern |0 (DE-588)4251178-1 |D s |
| 689 | 1 | 5 | |a Lernendes System |0 (DE-588)4120666-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Hoek, Wiebe van der |0 (DE-588)123196957 |4 edt | |
| 711 | 2 | |a LORI |n 5. |d 2015 |c Taipeh |j Sonstige |0 (DE-588)1078255962 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 9394 |w (DE-604)BV014880109 |9 9394 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-48561-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632685&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-SCS |a ZDB-2-LNC | ||
| 940 | 1 | |q ZDB-2-SCS_2015 | |
| 940 | 1 | |q ZDB-2-LNC_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028632685 | ||
Record in the Search Index
| _version_ | 1804175708621111296 |
|---|---|
| adam_text | LOGIC, RATIONALITY, AND INTERACTION
/
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
SABOTAGE MODAL LOGIC: SOME MODEL AND PROOF THEORETIC ASPECTS
GAME THEORETICAL SEMANTICS FOR PARACONSISTENT LOGICS
GENERALIZED ULTRAPRODUCT AND KIRMAN-SONDERMANN CORRESPONDENCE FOR VOTE
ABSTENTION
LEARNING ACTIONS MODELS: QUALITATIVE APPROACH
GREAT EXPECTATIONS
PROBABILISTIC EPISTEMIC UPDATES ON ALGEBRAS
AN ABSTRACT ALGEBRAIC LOGIC VIEW ON JUDGMENT AGGREGATION
CONTEXT-DEPENDENT UTILITIES: A SOLUTION TO THE PROBLEM OF CONSTANT ACTS
IN SAVAGE
GRAPH-BASED BELIEF MERGING
HUMAN STRATEGIC REASONING IN DYNAMIC GAMES: EXPERIMENTS, LOGICS,
COGNITIVE MODELS
A NOTE ON RELIABILITY-BASED PREFERENCE DYNAMICS
INFORMATIONAL DYNAMICS OF `MIGHT ASSERTIONS
A POOR MAN S EPISTEMIC LOGIC BASED ON PROPOSITIONAL ASSIGNMENT AND
HIGHER-ORDER OBSERVATION
TRACE SEMANTICS FOR IPDL
A DECIDABLE TEMPORAL RELEVANT LOGIC FOR TIME-DEPENDENT RELEVANT HUMAN
REASONING
INTROSPECTION, NORMALITY AND AGGLOMERATION
ON THE EXPRESSIVITY OF FIRST-ORDER MODAL LOGIC WITH ACTUALLY
CAUSAL MODELS AND THE AMBIGUITY OF COUNTERFACTUALS
TABLEAUX FOR SINGLE-AGENT EPISTEMIC PDL WITH PERFECT RECALL AND NO
MIRACLES
FORMULATING SEMANTICS OF PROBABILISTIC ARGUMENTATION BY CHARACTERIZING
SUBGRAPHS
ALGEBRAIC SEMANTICS FOR DYNAMIC DYNAMIC LOGIC
LOGIC AND ETHICS. AN INTEGRATED MODEL FOR NORMS, INTENTIONS AND ACTIONS
A GENERAL FRAMEWORK FOR MODAL CORRESPONDENCE IN DYNAMIC EPISTEMIC LOGIC
INTUITIONISTIC EPISTEMOLOGY AND MODAL LOGICS OF VERIFICATION
AN ARGUMENT FOR PERMISSIVISM FROM SAFESPOTS
MODEL TRANSFORMERS FOR DYNAMICAL SYSTEMS OF DYNAMIC EPISTEMIC LOGIC
`TRANSITIVITY OF CONSEQUENCE RELATIONS
BOOLEAN GAME WITH PRIORITIZED NORMS
BOOLEAN NETWORK GAMES AND ITERATED BOOLEAN GAMES
SYMBOLIC MODEL CHECKING FOR DYNAMIC EPISTEMIC LOGIC
THREE-VALUED PLURIVALUATIONISM OF VAGUE PREDICATES
A LOGIC OF KNOWING HOW
A DYNAMIC EPISTEMIC LOGIC WITH A KNOWABILITY PRINCIPLE
REFLECTIVE ORACLES: A FOUNDATION FOR GAME THEORY IN ARTIFICIAL
INTELLIGENCE
INFINITE ORDINALS AND FINITE IMPROVEMENT
SOLVING THE HI-LO PUZZLE
EPISTEMIC UPDATES ON ALGEBRAS
ON THE COMPLEXITY OF INPUT/OUTPUT LOGIC
TRANSLATING A COUNTERPART THEORY INTO A QUANTIFIED MODAL LANGUAGE WITH
DESCRIPTORS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
LOGIC, RATIONALITY, AND INTERACTION
/
: 2015
ABSTRACT / INHALTSTEXT
FOLLI-LNCS IS THE PUBLICATION PLATFORM FOR THE ASSOCIATION OF LOGIC,
LANGUAGE AND INFORMATION (FOLLI, WWW.FOLLI.ORG). THE ASSOCIATION WAS
FOUNDED IN 1991 TO ADVANCE RESEARCH AND EDUCATION ON THE INTERFACE
BETWEEN LOGIC, LINGUISTICS, COMPUTER SCIENCE, AND COGNITIVE SCIENCE. THE
FOLLI PUBLICATIONS ON LOGIC, LANGUAGE AND INFORMATION AIM TO DISSEMINATE
RESULTS OF CUTTING-EDGE RESEARCH AND TUTORIAL MATERIALS IN THESE
INTERDISCIPLINARY AREAS. THIS LNCS VOLUME IS PART OF FOLLI BOOK
SERIE AND CONTAINS THE PAPERS PRESENTED AT THE 5TH INTERNATIONAL
WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION/ (LORI-V), HELD IN
OCTOBER 2015 IN TAIPEI, TAIWAN. THE TOPICS COVERED IN THIS PROGRAM
WELL REPRESENT THE SPAN AND DEPTH THAT HAS BY NOW BECOME A TRADEMARK OF
THE LORI WORKSHOP SERIES, WHERE LOGIC INTERFACES WITH DISCIPLINES AS
DIVERSE AS GAME THEORY AND DECISION THEORY, PHILOSOPHY AND EPISTEMOLOGY,
LINGUISTICS, COMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author2 | Hoek, Wiebe van der |
| author2_role | edt |
| author2_variant | w v d h wvd wvdh |
| author_GND | (DE-588)123196957 |
| author_facet | Hoek, Wiebe van der |
| building | Verbundindex |
| bvnumber | BV043209524 |
| classification_tum | DAT 000 DAT 700f DAT 540f |
| collection | ZDB-2-SCS ZDB-2-LNC |
| ctrlnum | (OCoLC)930012301 (DE-599)BVBBV043209524 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-662-48561-3 |
| edition | 1st ed. |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04151nmm a2200913zcb4500</leader><controlfield tag="001">BV043209524</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200514 </controlfield><controlfield tag="006">a |||| 10||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151215s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662485613</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-48561-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662485606</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-662-48560-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-48561-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)930012301</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043209524</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</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="245" ind1="1" ind2="0"><subfield code="a">Logic, rationality, and interaction</subfield><subfield code="b">5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings</subfield><subfield code="c">edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2015]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 439 Seiten</subfield><subfield code="b">Illustrationen</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="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">9394</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science / Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Discrete Mathematics in Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic and Algebraic Manipulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</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="650" ind1="0" ind2="7"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rationalität</subfield><subfield code="0">(DE-588)4048507-9</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">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">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">Lernendes System</subfield><subfield code="0">(DE-588)4120666-6</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="650" ind1="0" ind2="7"><subfield code="a">Kognitionswissenschaft</subfield><subfield code="0">(DE-588)4193780-6</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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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="2"><subfield code="a">Kognitionswissenschaft</subfield><subfield code="0">(DE-588)4193780-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Spieltheorie</subfield><subfield code="0">(DE-588)4056243-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Rationalität</subfield><subfield code="0">(DE-588)4048507-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Wissensrevision</subfield><subfield code="0">(DE-588)4273403-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Problemlösen</subfield><subfield code="0">(DE-588)4076358-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="4"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="5"><subfield code="a">Lernendes System</subfield><subfield code="0">(DE-588)4120666-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">Hoek, Wiebe van der</subfield><subfield code="0">(DE-588)123196957</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LORI</subfield><subfield code="n">5.</subfield><subfield code="d">2015</subfield><subfield code="c">Taipeh</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1078255962</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">9394</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">9394</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-48561-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=028632685&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2015</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-LNC_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028632685</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043209524 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:20:35Z |
| institution | BVB |
| institution_GND | (DE-588)1078255962 |
| isbn | 9783662485613 9783662485606 |
| issn | 0302-9743 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028632685 |
| oclc_num | 930012301 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-384 DE-Aug4 DE-M347 DE-573 DE-859 DE-703 DE-473 DE-BY-UBG DE-29 DE-706 DE-20 DE-739 DE-92 DE-634 DE-860 DE-861 DE-355 DE-BY-UBR |
| physical | XI, 439 Seiten Illustrationen |
| psigel | ZDB-2-SCS ZDB-2-LNC ZDB-2-SCS_2015 ZDB-2-LNC_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang 1st ed. Berlin ; Heidelberg Springer [2015] © 2015 XI, 439 Seiten Illustrationen txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 9394 0302-9743 Computer science Computer logic Mathematical logic Computer science / Mathematics Computer Science Mathematical Logic and Formal Languages Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Logics and Meanings of Programs Informatik Mathematik Semantik (DE-588)4054490-4 gnd rswk-swf Problemlösen (DE-588)4076358-4 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Spieltheorie (DE-588)4056243-8 gnd rswk-swf Rationalität (DE-588)4048507-9 gnd rswk-swf Schlussfolgern (DE-588)4251178-1 gnd rswk-swf Wissensrevision (DE-588)4273403-4 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Lernendes System (DE-588)4120666-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Kognitionswissenschaft (DE-588)4193780-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Mathematische Logik (DE-588)4037951-6 s Künstliche Intelligenz (DE-588)4033447-8 s Kognitionswissenschaft (DE-588)4193780-6 s Spieltheorie (DE-588)4056243-8 s Semantik (DE-588)4054490-4 s DE-604 Logik (DE-588)4036202-4 s Rationalität (DE-588)4048507-9 s Wissensrevision (DE-588)4273403-4 s Problemlösen (DE-588)4076358-4 s Schlussfolgern (DE-588)4251178-1 s Lernendes System (DE-588)4120666-6 s Hoek, Wiebe van der (DE-588)123196957 edt LORI 5. 2015 Taipeh Sonstige (DE-588)1078255962 oth Lecture Notes in Computer Science 9394 (DE-604)BV014880109 9394 https://doi.org/10.1007/978-3-662-48561-3 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632685&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
| spellingShingle | Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings Lecture Notes in Computer Science Computer science Computer logic Mathematical logic Computer science / Mathematics Computer Science Mathematical Logic and Formal Languages Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Logics and Meanings of Programs Informatik Mathematik Semantik (DE-588)4054490-4 gnd Problemlösen (DE-588)4076358-4 gnd Logik (DE-588)4036202-4 gnd Spieltheorie (DE-588)4056243-8 gnd Rationalität (DE-588)4048507-9 gnd Schlussfolgern (DE-588)4251178-1 gnd Wissensrevision (DE-588)4273403-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Lernendes System (DE-588)4120666-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Kognitionswissenschaft (DE-588)4193780-6 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4076358-4 (DE-588)4036202-4 (DE-588)4056243-8 (DE-588)4048507-9 (DE-588)4251178-1 (DE-588)4273403-4 (DE-588)4033447-8 (DE-588)4120666-6 (DE-588)4037951-6 (DE-588)4193780-6 (DE-588)1071861417 |
| title | Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings |
| title_auth | Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings |
| title_exact_search | Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings |
| title_full | Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang |
| title_fullStr | Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang |
| title_full_unstemmed | Logic, rationality, and interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang |
| title_short | Logic, rationality, and interaction |
| title_sort | logic rationality and interaction 5th international workshop lori 2015 taipei taiwan october 28 30 2015 proceedings |
| title_sub | 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings |
| topic | Computer science Computer logic Mathematical logic Computer science / Mathematics Computer Science Mathematical Logic and Formal Languages Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Logics and Meanings of Programs Informatik Mathematik Semantik (DE-588)4054490-4 gnd Problemlösen (DE-588)4076358-4 gnd Logik (DE-588)4036202-4 gnd Spieltheorie (DE-588)4056243-8 gnd Rationalität (DE-588)4048507-9 gnd Schlussfolgern (DE-588)4251178-1 gnd Wissensrevision (DE-588)4273403-4 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Lernendes System (DE-588)4120666-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Kognitionswissenschaft (DE-588)4193780-6 gnd |
| topic_facet | Computer science Computer logic Mathematical logic Computer science / Mathematics Computer Science Mathematical Logic and Formal Languages Mathematical Logic and Foundations Discrete Mathematics in Computer Science Symbolic and Algebraic Manipulation Logics and Meanings of Programs Informatik Mathematik Semantik Problemlösen Logik Spieltheorie Rationalität Schlussfolgern Wissensrevision Künstliche Intelligenz Lernendes System Mathematische Logik Kognitionswissenschaft Konferenzschrift |
| url | https://doi.org/10.1007/978-3-662-48561-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632685&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028632685&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV014880109 |
| work_keys_str_mv | AT hoekwiebevander logicrationalityandinteraction5thinternationalworkshoplori2015taipeitaiwanoctober28302015proceedings AT loritaipeh logicrationalityandinteraction5thinternationalworkshoplori2015taipeitaiwanoctober28302015proceedings |