|
" Logic, rationality, and interaction : "
Davide Grossi [und weitere] (Eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
748183
|
| Doc. No
|
:
|
b568139
|
| Main Entry
|
:
|
Davide Grossi [und weitere] (Eds.).
|
| Title & Author
|
:
|
Logic, rationality, and interaction : : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : Proceedings\ Davide Grossi [und weitere] (Eds.).
|
| Publication Statement
|
:
|
Berlin : Springer, 2013
|
| Series Statement
|
:
|
FoLLI publications on logic, language and information; Lecture notes in computer science, 8196.
|
| Page. NO
|
:
|
361 Seiten : Illustrationen
|
| ISBN
|
:
|
3642409474
|
|
|
:
|
: 3642409482
|
|
|
:
|
: 9783642409479
|
|
|
:
|
: 9783642409486
|
| 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.
|
| Subject
|
:
|
Kognitionswissenschaft.
|
| Subject
|
:
|
Künstliche Intelligenz.
|
| Subject
|
:
|
Lernendes System.
|
| LC Classification
|
:
|
BC5.D385 2013
|
| Added Entry
|
:
|
Davide Grossi
|
| |