Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
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...
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Edition: | 1st ed. 2013. |
| Series: | Theoretical Computer Science and General Issues ;
8196 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-642-40948-6 |
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.