Sciweavers

7 search results - page 1 / 2
» An Epistemic Logic for Arbitration (Extended Abstract)
Sort
View
IJCAI
2003
13 years 4 months ago
An Epistemic Logic for Arbitration (Extended Abstract)
emic Logic for Arbitration (Extended Abstract)
Churn-Jung Liau
ECSQARU
2003
Springer
13 years 8 months ago
Epistemic Logics for Information Fusion
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
Churn-Jung Liau
LPNMR
2005
Springer
13 years 8 months ago
Nested Epistemic Logic Programs
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
Kewen Wang, Yan Zhang
FUIN
2010
97views more  FUIN 2010»
13 years 1 months ago
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
Johan van Benthem, Amélie Gheerbrant
DALT
2005
Springer
13 years 8 months ago
Complete Axiomatizations of Finite Syntactic Epistemic States
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
Thomas Ågotnes, Michal Walicki