1 option
Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang.
- Format:
- Book
- Series:
- Computer Science (SpringerNature-11645)
- LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 8196
- Theoretical Computer Science and General Issues, 2512-2029 ; 8196
- Language:
- English
- Subjects (All):
- Machine theory.
- Logic, Symbolic and mathematical.
- Computer science-Mathematics.
- Discrete mathematics.
- Computer science.
- Formal Languages and Automata Theory.
- Mathematical Logic and Foundations.
- Discrete Mathematics in Computer Science.
- Symbolic and Algebraic Manipulation.
- Computer Science Logic and Foundations of Programming.
- Theory of Computation.
- Local Subjects:
- Formal Languages and Automata Theory.
- Mathematical Logic and Foundations.
- Discrete Mathematics in Computer Science.
- Symbolic and Algebraic Manipulation.
- Computer Science Logic and Foundations of Programming.
- Theory of Computation.
- Physical Description:
- 1 online resource (XII, 363 pages) : 41 illustrations
- Edition:
- 1st ed. 2013.
- Contained In:
- Springer Nature eBook
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
- System Details:
- text file PDF
- Summary:
- 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.
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-40948-6
- 9783642409486
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.