000			04877nam a22005895i 4500
001			978-3-642-40948-6
003			DE-He213
005			20140220082920.0
007			cr nn 008mamaa
008			131001s2013 gw | s |||| 0|eng d
020			_a9783642409486 _9978-3-642-40948-6
024	7		_a10.1007/978-3-642-40948-6 _2doi
050		4	_aQA8.9-QA10.3
072		7	_aUYA _2bicssc
072		7	_aMAT018000 _2bisacsh
072		7	_aCOM051010 _2bisacsh
082	0	4	_a005.131 _223
100	1		_aGrossi, Davide. _eeditor.
245	1	0	_aLogic, Rationality, and Interaction _h[electronic resource] : _b4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / _cedited by Davide Grossi, Olivier Roy, Huaxin Huang.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013.
300			_aXII, 363 p. 41 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v8196
505	0		_aFull 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			_aThis 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	_aComputer science.
650		0	_aInformation theory.
650		0	_aLogic design.
650		0	_aComputational complexity.
650		0	_aAlgebra _xData processing.
650		0	_aLogic, Symbolic and mathematical.
650	1	4	_aComputer Science.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aMathematical Logic and Foundations.
650	2	4	_aDiscrete Mathematics in Computer Science.
650	2	4	_aSymbolic and Algebraic Manipulation.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aTheory of Computation.
700	1		_aRoy, Olivier. _eeditor.
700	1		_aHuang, Huaxin. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642409479
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v8196
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-40948-6
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c98690 _d98690