Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Grossi, Davide (Επιμελητής έκδοσης), Roy, Olivier (Επιμελητής έκδοσης), Huang, Huaxin (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 8196
• Θέματα: Computer science.; Computers.; 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.; Theory of Computation.

This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a varie...

Πίνακας περιεχομένων:

• Full Papers
• Boolean Games with Epistemic Goals
• Minimal Preference Change
• The Topology of Belief, Belief Revision and Defeasible Knowledge
• Plan Recognition, Indefinites, and the Semantics-Pragmatics Boundary
• A Semantic Model for Interrogatives Based on Generalized Quantifiers and Bilattices
• A Two-Tiered Formalization of Social Influence
• A Unified Epistemic Analysis of Iterated Elimination Algorithms from Regret Viewpoint
• Listen to Me! Public Announcements to Agents That Pay Attention — or Not
• An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers
• Sequent Calculi for Multi-modal Logic with Interaction
• Dynamic Epistemic Logic Displayed
• Reasoning about Actions Meets Strategic Logics
• A Dynamic Deontic Logic Based on Histories
• Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
• How to Update Neighborhood Models
• The Logic of a Priori and a Posteriori Rationality in Strategic Games
• Proof Theory, Semantics and Algebra for Normative Systems
• Explicit and Implicit Knowledge in Neighbourhood Models
• Expressivity Hierarchy of Languages for Epistemic Awareness Models
• Public Announcements, Private Actions and Common Knowledge in S5 Structures
• Logic Aggregation
• The Task Model of Court Investigation in a Multi-agent System of Argumentation in Court
• Short Papers
• A Deontic Action Logic for Complex Actions
• Planning Using Dynamic Epistemic Logic: Correspondence and Complexity
• Judgment Aggregation with Abstentions: A Hierarchical Approach
• A Note on Bayesian Games
• A Logic for Extensive Games with Short Sight
• Aggregated Beliefs and Informational Cascades
• Dynamic Attitudes, Fixed Points and Minimal Change
• Logic of Evidence-based Knowledge
• Backward Induction Is PTIME-complete
• On Fuzzy Propositional Logic with Different Negations.