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

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang.

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 description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Grossi, Davide (Editor), Roy, Olivier (Editor), Huang, Huaxin (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Theoretical Computer Science and General Issues ; 8196
Springer eBook Collection.
Subjects:
Mathematical logic.
Computer science—Mathematics.
Computer logic.
Computers.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items