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...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Muut tekijät: | , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Sarja: | Theoretical Computer Science and General Issues
8196 |
| Linkit: | 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 |
| Huomautus: |
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 |
| LEADER | 04908nam a22003617a 4500 | ||
|---|---|---|---|
| 001 | 947437 | ||
| 008 | 140205s2013 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN176115471 | ||
| 020 | |a 9783642409486 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.131 | ||
| 100 | 1 | |a Grossi, Davide. | |
| 245 | 1 | 0 | |a Logic, rationality, and interaction : |b 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings |c edited by Davide Grossi, Olivier Roy, Huaxin Huang. |
| 260 | |a Berlin, Heidelberg : |b Springer Berlin Heidelberg. | ||
| 260 | |a Cham : |b Springer Nature, |c 2013. | ||
| 490 | 0 | |a Theoretical Computer Science and General Issues |v 8196 |x 2512-2029 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a 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 | ||
| 520 | |a 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. | ||
| 700 | 1 | |a Roy, Olivier, |d 19..-...., |c logicien philosophe. |4 pbd | |
| 700 | 1 | |a Huang, Huaxin. |4 pbd | |
| 776 | 0 | |t Logic, Rationality, and Interaction |b Texte imprimé |z 9783642409479 | |
| 776 | 0 | |t Logic, Rationality, and Interaction |b Texte imprimé |z 9783642409493 | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-40948-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://doi.org/10.1007/978-3-642-40948-6 |z Accès sur la plateforme de l'éditeur (Springer) | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-F2HFL97G-Z |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747812985 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-642-40948-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750829303 |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-642-40948-6 |z Accès INSA CVL | |
| 997 | |0 947437 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||