Logic, Rationality, and Interaction

5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

Häftad, Engelska, 2015

Av Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang, Wiebe Van Der Hoek, Wiebe Van Der Hoek, Wen-Fang Wang

709 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org).

Produktinformation

Utgivningsdatum2015-10-09
Mått155 x 235 x 25 mm
Vikt680 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor439
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783662485606

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it
Matematikens grunder inom Naturvetenskap och teknik
Diskret matematik inom Naturvetenskap och teknik

SabotageModal Logic: Some Model and Proof Theoretic Aspects.- Game TheoreticalSemantics for Paraconsistent Logics.- Generalized Ultraproduct andKirman-Sondermann Correspondence for Vote Abstention.- Learning Actions Models:Qualitative Approach.- Great Expectations.- Probabilistic Epistemic Updates onAlgebras.- An Abstract Algebraic Logic View on Judgment Aggregation.- Context-dependentUtilities: A Solution to the Problem of Constant Acts in Savage.- Graph-BasedBelief Merging.- Human strategic reasoning in dynamic games: Experiments,logics, cognitive models.- A note on reliability-based preference dynamics.- InformationalDynamics of `Might' Assertions.- A poor man's epistemic logic based onpropositional assignment and higher-order observation.- Trace Semantics forIPDL.- A Decidable Temporal Relevant Logic for Time-Dependent Relevant HumanReasoning.- Introspection, normality and agglomeration.- On the Expressivity ofFirst-Order Modal Logic with \Actually".- Causal Models and the Ambiguityof Counterfactuals.- Tableaux for Single-Agent Epistemic PDL with PerfectRecall and No Miracles.- Formulating Semantics of Probabilistic Argumentationby Characterizing Subgraphs.- Algebraic Semantics for Dynamic Dynamic Logic.- Logicand Ethics. An Integrated Model for Norms, Intentions and Actions.- A GeneralFramework for Modal Correspondence in Dynamic Epistemic Logic.- IntuitionisticEpistemology and Modal Logics of Verification.- An argument for Permissivismfrom safespots.- Model Transformers for Dynamical Systems of Dynamic EpistemicLogic.- `Transitivity' of consequence relations.- Boolean Game with PrioritizedNorms.- Boolean Network Games and Iterated Boolean Games.- Symbolic ModelChecking for Dynamic Epistemic Logic.- Three-Valued Plurivaluationism of VaguePredicates.- A logic of knowing how.- A Dynamic Epistemic Logic with aKnowability Principle.- Reflective Oracles: A Foundation for Game Theory inArtificial Intelligence.- Infinite Ordinals and Finite Improvement.- Solvingthe Hi-Lo Puzzle.- Epistemic Updates on algebras.- On the Complexity ofInput/Output Logic.- Translating a Counterpart Theory into a Quantified ModalLanguage with Descriptors.

Du kanske också är intresserad av

Dynamic Epistemic Logic

Dynamic Epistemic Logic

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Hans Van Ditmarsch, Wiebe Van Der Hoek, Hans Van Ditmarsch, Wiebe Van Der Hoek

1 659 kr

Multiagent System Technologies

Multiagent System Technologies

Lars Braubach, Wiebe van der Hoek, Paolo Petta, Alexander Pokahr, Wiebe Van Der Hoek, Wiebe Van Der Hoek

729 kr

Heyting Algebras

Del 50

Heyting Algebras

Leo Esakia, Guram Bezhanishvili, Wesley H. Holliday

1 019 kr

Uncertainty, Rationality, and Agency

Uncertainty, Rationality, and Agency

Wiebe van der Hoek, Wiebe Van Der Hoek

709 kr

Heyting Algebras

Del 50

Heyting Algebras

Leo Esakia, Guram Bezhanishvili, Wesley H. Holliday

1 129 kr

Information, Interaction, and Agency

Information, Interaction, and Agency

Wiebe van der Hoek, Wiebe Van Der Hoek, Wiebe Van Der Hoek

709 kr

Dynamic Epistemic Logic

Dynamic Epistemic Logic

Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Hans Van Ditmarsch, Wiebe Van Der Hoek, Hans Van Ditmarsch, Wiebe Van Der Hoek

1 659 kr

Logics in Artificial Intelligence

Logics in Artificial Intelligence

Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, Wiebe Van Der Hoek, Wiebe Van Der Hoek

729 kr

Handbook of Epistemic Logic

Handbook of Epistemic Logic

Hans Van Ditmarsch, Joseph Y Halpern, Wiebe Van Der Hoek, Joseph Y. Halpern, Hans van Ditmarsch

399 kr

Logic and the Foundations of Game and Decision Theory (LOFT 7)

Del 3

Logic and the Foundations of Game and Decision Theory (LOFT 7)

Giacomo Bonanno, Wiebe van der Hoek, Giacomo Bonanno, Michael Wooldridge, Wiebe van der Hoek

669 kr