Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings için kapak resmi
Başlık:
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings
Yazar:
van der Hoek, Wiebe. editor.
ISBN:
9783662485613
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XI, 439 p. 31 illus. in color. online resource.
Seri:
Theoretical Computer Science and General Issues, 9394
İçerik:
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.
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 519137-1001 XX(519137.1)
Arıyor...

On Order