Logic, rationality, and interaction : 4th international workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings

Author(s)

    • Grossi, Davide
    • Roy, Olivier
    • Huang, Huaxin

Bibliographic Information

Logic, rationality, and interaction : 4th international workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings

Davide Grossi, Olivier Roy, Huaxin Huang (eds.)

(Lecture notes in computer science, 8196)(FoLLI publications on logic, language and information)

Springer, c2013

Search this Book/Journal

Note

Includes bibliographical references and index

Description and Table of Contents

Description

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.

Table of Contents

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.

by "Nielsen BookData"

Related Books: 1-2 of 2

Details

  • NCID
    BB2494688X
  • ISBN
    • 9783642409479
  • LCCN
    2013947929
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin ; Heidelberg
  • Pages/Volumes
    xi, 361 p.
  • Size
    24 cm
  • Parent Bibliography ID
Page Top