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...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Awduron Eraill: | , |
| Fformat: | Livre numérique |
| Iaith: | Anglais |
| Cyhoeddwyd: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Cyfres: | Theoretical Computer Science and General Issues
8196 |
| Mynediad Ar-lein: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nodyn: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic, Rationality, and Interaction, Texte imprimé, 9783642409479 • Logic, Rationality, and Interaction, Texte imprimé, 9783642409493 |
Tabl Cynhwysion:
- 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.