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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Grossi, Davide. (Editor, http://id.loc.gov/vocabulary/relators/edt), Roy, Olivier. (Editor, http://id.loc.gov/vocabulary/relators/edt), Huang, Huaxin. (Editor, http://id.loc.gov/vocabulary/relators/edt)
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
LEADER 05493nam a22005895i 4500
001 978-3-642-40948-6
003 DE-He213
005 20210625003322.0
007 cr nn 008mamaa
008 131001s2013 gw | s |||| 0|eng d
020 |a 9783642409486  |9 978-3-642-40948-6 
024 7 |a 10.1007/978-3-642-40948-6  |2 doi 
050 4 |a QA8.9-10.3 
072 7 |a UYA  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a UYA  |2 thema 
082 0 4 |a 005.131  |2 23 
245 1 0 |a Logic, Rationality, and Interaction  |h [electronic resource] :  |b 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /  |c edited by Davide Grossi, Olivier Roy, Huaxin Huang. 
250 |a 1st ed. 2013. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2013. 
300 |a XII, 363 p. 41 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Theoretical Computer Science and General Issues ;  |v 8196 
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. 
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. 
650 0 |a Mathematical logic. 
650 0 |a Computer science—Mathematics. 
650 0 |a Computer logic. 
650 0 |a Computers. 
650 1 4 |a Mathematical Logic and Formal Languages.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I16048 
650 2 4 |a Mathematical Logic and Foundations.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/M24005 
650 2 4 |a Discrete Mathematics in Computer Science.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I17028 
650 2 4 |a Symbolic and Algebraic Manipulation.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I17052 
650 2 4 |a Logics and Meanings of Programs.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 
650 2 4 |a Theory of Computation.  |0 https://scigraph.springernature.com/ontologies/product-market-codes/I16005 
700 1 |a Grossi, Davide.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Roy, Olivier.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Huang, Huaxin.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642409493 
776 0 8 |i Printed edition:  |z 9783642409479 
830 0 |a Theoretical Computer Science and General Issues ;  |v 8196 
856 4 0 |u https://doi.org/10.1007/978-3-642-40948-6 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
912 |a ZDB-2-LNC 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)