000 05750nam a22006135i 4500
001 978-3-662-48561-3
003 DE-He213
005 20240730192943.0
007 cr nn 008mamaa
008 151028s2015 gw | s |||| 0|eng d
020 _a9783662485613
_9978-3-662-48561-3
024 7 _a10.1007/978-3-662-48561-3
_2doi
050 4 _aQA267-268.5
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a005.131
_223
245 1 0 _aLogic, Rationality, and Interaction
_h[electronic resource] :
_b5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
_cedited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.
250 _a1st ed. 2015.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2015.
300 _aXI, 439 p. 31 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v9394
505 0 _aSabotage 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.
520 _aFoLLI-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.
650 0 _aMachine theory.
_9151899
650 0 _aMathematical logic.
_92258
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aDiscrete mathematics.
_912873
650 0 _aComputer science.
_99832
650 1 4 _aFormal Languages and Automata Theory.
_9151900
650 2 4 _aMathematical Logic and Foundations.
_934712
650 2 4 _aDiscrete Mathematics in Computer Science.
_931837
650 2 4 _aSymbolic and Algebraic Manipulation.
_955589
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _avan der Hoek, Wiebe.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9151901
700 1 _aHolliday, Wesley H.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9151902
700 1 _aWang, Wen-fang.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9151903
710 2 _aSpringerLink (Online service)
_9151904
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783662485606
776 0 8 _iPrinted edition:
_z9783662485620
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v9394
_9151905
856 4 0 _uhttps://doi.org/10.1007/978-3-662-48561-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94520
_d94520