4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : Proceedings
نام نخستين پديدآور
Davide Grossi [und weitere] (Eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2013
مشخصات ظاهری
نام خاص و کميت اثر
361 Seiten : Illustrationen
فروست
عنوان فروست
FoLLI publications on logic, language and information; Lecture notes in computer science, 8196.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Kognitionswissenschaft.
موضوع مستند نشده
Künstliche Intelligenz.
موضوع مستند نشده
Lernendes System.
رده بندی کنگره
شماره رده
BC5
نشانه اثر
.
D385
2013
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )