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 |
LEADER | 05971clm a2200697 4500 | ||
---|---|---|---|
001 | PPN176115471 | ||
003 | http://www.sudoc.fr/176115471 | ||
005 | 20241001155500.0 | ||
010 | |a 978-3-642-40948-6 | ||
017 | 7 | 0 | |a 10.1007/978-3-642-40948-6 |2 DOI |
035 | |a (OCoLC)870330399 | ||
035 | |a Springer978-3-642-40948-6 | ||
035 | |a SPRINGER_EBOOKS_LN_PLURI_10.1007/978-3-642-40948-6 | ||
035 | |a Springer-11645-978-3-642-40948-6 | ||
100 | |a 20140205d2013 u u0frey0103 ba | ||
101 | 0 | |a eng |2 639-2 | |
102 | |a DE | ||
135 | |a dr||||||||||| | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c c |2 rdamedia | ||
182 | 1 | |6 z01 |a b | |
183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
200 | 1 | |a Logic, rationality, and interaction |e 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, proceedings |f edited by Davide Grossi, Olivier Roy, Huaxin Huang | |
214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
214 | 2 | |a Cham |c Springer Nature |d 2013 | |
225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 8196 | |
330 | |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. | ||
359 | 1 | |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. | |
371 | 0 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | |
371 | 0 | |a Accès soumis à abonnement pour tout autre établissement | |
371 | 1 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales |c chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | |
410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 8196 | |
452 | | | |t Logic, Rationality, and Interaction |b Texte imprimé |y 9783642409479 | |
452 | | | |t Logic, Rationality, and Interaction |b Texte imprimé |y 9783642409493 | |
610 | 1 | |a Computer Science | |
610 | 2 | |a Mathematical Logic and Formal Languages | |
610 | 2 | |a Logics and Meanings of Programs | |
610 | 2 | |a Mathematical Logic and Foundations | |
610 | 2 | |a Discrete Mathematics in Computer Science | |
610 | 2 | |a Symbolic and Algebraic Manipulation | |
610 | 2 | |a Theory of Computation | |
610 | 2 | |a Computer Science Logic and Foundations of Programming | |
610 | 1 | |a Formal Languages and Automata Theory | |
615 | |a @Computer Science |n 11645 |2 Springer | ||
676 | |a 005.131 |v 23 | ||
680 | |a QA8.9-QA10.3 | ||
700 | 1 | |a Grossi |b Davide |4 651 | |
701 | 1 | |3 PPN18263681X |a Roy |b Olivier |f 19..-.... |c logicien philosophe |4 651 | |
701 | 1 | |a Huang |b Huaxin |4 651 | |
801 | 3 | |a FR |b Abes |c 20240814 |g AFNOR | |
801 | 1 | |a DE |b Springer |c 20240603 |g AACR2 | |
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 441099901:830862013 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-40948-6 | |
915 | |5 441099901:830862013 |b SPRING13-01171 | ||
930 | |5 441099901:830862013 |b 441099901 |j g | ||
991 | |5 441099901:830862013 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:17 | ||
997 | |a NUM |b SPRING13-01171 |d NUMpivo |e EM |s d | ||
998 | |a 979100 |