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 variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop program and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.
Les mer
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.
Les mer
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.
Les mer
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 variety of logic-related fields: Game and Decision Theory, Philosophy, Linguistics, Computer Science and AI. This year had a special emphasis on Norms and Argumentation. Out of 42 submissions, 23 full papers and 11 short contributions have been selected through peer-review for inclusion in the workshop program and in this volume. The quality and diversity of these contributions witnesses a lively, fast-growing, and interdisciplinary community working at the intersection of logic and rational interaction.
Les mer
Fast track conference proceedings of LORI-4
GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com
Les mer

Produktdetaljer

ISBN
9783642409479
Publisert
2013-09-13
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet