Logic, Rationality, and Interaction

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

AvWiebe van der Hoek,Wesley H. Holliday

Häftad, Engelska, 2015

Del i serien Lecture Notes in Computer Science

538 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Produktinformation

Utgivningsdatum:2015-10-09
Mått:155 x 235 x 25 mm
Vikt:680 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:439
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783662485606

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Programmeringsböcker inom Data och IT

Innehållsförteckning

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.