Cantitate/Preț
Produs
Total produse
Vezi coșul
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings de Wiebe van der Hoek

Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings: Lecture Notes in Computer Science, cartea 9394

Editat de Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang
en Limba Engleză Paperback – 9 oct 2015
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33314 lei

Preț vechi: 41643 lei
-20% Nou

Puncte Express: 500
Preț estimativ în valută:
6378€ • 6629$ • 5288£

Carte tipărită la comandă

Livrare economică 06-20 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783662485606
ISBN-10: 3662485605
Pagini: 439
Ilustrații: XI, 439 p. 31 illus. in color.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.63 kg
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Theoretical Computer Science and General Issues

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

SabotageModal Logic: Some Model and Proof Theoretic Aspects.- Game TheoreticalSemantics for Paraconsistent Logics.- Generalized Ultraproduct andKirman-Sondermann Correspondence for Vote Abstention.- Learning Actions Models:Qualitative Approach.- Great Expectations.- Probabilistic Epistemic Updates onAlgebras.- An Abstract Algebraic Logic View on Judgment Aggregation.- Context-dependentUtilities: A Solution to the Problem of Constant Acts in Savage.- Graph-BasedBelief Merging.- Human strategic reasoning in dynamic games: Experiments,logics, cognitive models.- A note on reliability-based preference dynamics.- InformationalDynamics of `Might' Assertions.- A poor man's epistemic logic based onpropositional assignment and higher-order observation.- Trace Semantics forIPDL.- A Decidable Temporal Relevant Logic for Time-Dependent Relevant HumanReasoning.- Introspection, normality and agglomeration.- On the Expressivity ofFirst-Order Modal Logic with \Actually".- Causal Models and the Ambiguityof Counterfactuals.- Tableaux for Single-Agent Epistemic PDL with PerfectRecall and No Miracles.- Formulating Semantics of Probabilistic Argumentationby Characterizing Subgraphs.- Algebraic Semantics for Dynamic Dynamic Logic.- Logicand Ethics. An Integrated Model for Norms, Intentions and Actions.- A GeneralFramework for Modal Correspondence in Dynamic Epistemic Logic.- IntuitionisticEpistemology and Modal Logics of Verification.- An argument for Permissivismfrom safespots.- Model Transformers for Dynamical Systems of Dynamic EpistemicLogic.- `Transitivity' of consequence relations.- Boolean Game with PrioritizedNorms.- Boolean Network Games and Iterated Boolean Games.- Symbolic ModelChecking for Dynamic Epistemic Logic.- Three-Valued Plurivaluationism of VaguePredicates.- A logic of knowing how.- A Dynamic Epistemic Logic with aKnowability Principle.- Reflective Oracles: A Foundation for Game Theory inArtificial Intelligence.- Infinite Ordinals and Finite Improvement.- Solvingthe Hi-Lo Puzzle.- Epistemic Updates on algebras.- On the Complexity ofInput/Output Logic.- Translating a Counterpart Theory into a Quantified ModalLanguage with Descriptors.

Caracteristici

Includes supplementary material: sn.pub/extras