國立虎尾科技大學 |

Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Logic, Rationality, and Interaction/ edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.
其他題名:	5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
其他作者:	van der Hoek, Wiebe.
面頁冊數:	XI, 439 p. 31 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical logic. -
電子資源:	https://doi.org/10.1007/978-3-662-48561-3
ISBN:	9783662485613

Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
Logic, Rationality, and Interaction5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /[electronic resource] :edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang. - 1st ed. 2015. - XI, 439 p. 31 illus. in color.online resource. - Theoretical Computer Science and General Issues ;9394. - Theoretical Computer Science and General Issues ;9163.

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.

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.

ISBN: 9783662485613

Standard No.: 10.1007/978-3-662-48561-3doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 005.131

Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
LDR:04702nam a22004095i 4500 001 969322
003 DE-He213
005 20200705014353.0
007 cr nn 008mamaa
008 201211s2015 gw | s |||| 0|eng d
020 $a 9783662485613 $9 978-3-662-48561-3
024 7 $a 10.1007/978-3-662-48561-3 $2 doi
035 $a 978-3-662-48561-3
050 4 $a QA8.9-10.3
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.131 $2 23
245 1 0 $a Logic, Rationality, and Interaction $h [electronic resource] : $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. 2015.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer, $c 2015.
300 $a XI, 439 p. 31 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 9394
505 0 $a 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.
520 $a 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.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Computer science—Mathematics. $3 1253519
650 0 $a Computer logic. $3 786340
650 1 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Mathematical Logic and Foundations. $3 669393
650 2 4 $a Discrete Mathematics in Computer Science. $3 670123
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
650 2 4 $a Logics and Meanings of Programs. $3 670058
700 1 $a van der Hoek, Wiebe. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1264881
700 1 $a Holliday, Wesley H. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069465
700 1 $a Wang, Wen-fang. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069466
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662485606
776 0 8 $i Printed edition: $z 9783662485620
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-662-48561-3
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)