Logic, Rationality, and Interaction - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662485606, 9783662485613

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Learning Actions Models: Qualitative Approach

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_4 ◽

2015 ◽

pp. 40-52 ◽

Cited By ~ 6

Author(s):

Thomas Bolander ◽

Nina Gierasimczuk

Keyword(s):

Qualitative Approach

Download Full-text

Trace Semantics for IPDL

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_14 ◽

2015 ◽

pp. 169-181

Author(s):

Fengkui Ju ◽

Nana Cui ◽

Shujiao Li

Keyword(s):

Trace Semantics

Download Full-text

Solving the HI-LO Puzzle

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_36 ◽

2015 ◽

pp. 421-425

Author(s):

Brian Kim

Download Full-text

Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_34 ◽

2015 ◽

pp. 411-415 ◽

Cited By ~ 3

Author(s):

Benja Fallenstein ◽

Jessica Taylor ◽

Paul F. Christiano

Keyword(s):

Artificial Intelligence ◽

Game Theory

Download Full-text

Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_19 ◽

2015 ◽

pp. 230-242

Author(s):

Yanjun Li

Keyword(s):

Single Agent ◽

Perfect Recall

Download Full-text

A Note on Reliability-Based Preference Dynamics

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_11 ◽

2015 ◽

pp. 129-142 ◽

Cited By ~ 2

Author(s):

Sujata Ghosh ◽

Fernando R. Velázquez-Quesada

Download Full-text

Epistemic Updates on Bilattices

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_37 ◽

2015 ◽

pp. 426-428 ◽

Cited By ~ 1

Author(s):

Zeinab Bakhtiarinoodeh ◽

Umberto Rivieccio

Download Full-text

Symbolic Model Checking for Dynamic Epistemic Logic

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_30 ◽

2015 ◽

pp. 366-378 ◽

Cited By ~ 9

Author(s):

Johan van Benthem ◽

Jan van Eijck ◽

Malvin Gattinger ◽

Kaile Su

Keyword(s):

Model Checking ◽

Epistemic Logic ◽

Dynamic Epistemic Logic ◽

Symbolic Model Checking ◽

Symbolic Model

Download Full-text

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_1 ◽

2015 ◽

pp. 1-13 ◽

Cited By ~ 4

Author(s):

Guillaume Aucher ◽

Johan van Benthem ◽

Davide Grossi

Keyword(s):

Modal Logic

Download Full-text

Infinite Ordinals and Finite Improvement

Logic, Rationality, and Interaction - Lecture Notes in Computer Science ◽

10.1007/978-3-662-48561-3_35 ◽

2015 ◽

pp. 416-420 ◽

Cited By ~ 1

Author(s):

Aaron Hunter

Download Full-text

Logic, Rationality, and Interaction - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Learning Actions Models: Qualitative Approach

Trace Semantics for IPDL

Solving the HI-LO Puzzle

Reflective Oracles: A Foundation for Game Theory in Artificial Intelligence

Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles

A Note on Reliability-Based Preference Dynamics

Epistemic Updates on Bilattices

Symbolic Model Checking for Dynamic Epistemic Logic

Sabotage Modal Logic: Some Model and Proof Theoretic Aspects

Infinite Ordinals and Finite Improvement

Logic, Rationality, and Interaction - Lecture Notes in Computer Science
Latest Publications