Nantilus
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...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Logic, rationality, and interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2013 Cham : Springer Nature |
| Collection : | Theoretical computer science and general issues (Online) ; 8196 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Note sur l'URL : | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex |
| Condition d'utilisation et de reproduction : | Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |
| Sujets : | |
| Documents associés : | Autre format:
Logic, Rationality, and Interaction Autre format: Logic, Rationality, and Interaction |
- 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.