1080 search results - page 16 / 216 » The Complexity of Belief Update |
77
Voted
TARK
2005
Springer
15 years 5 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...
86
Voted
ICDT
1997
ACM
15 years 3 months ago
1997
ACM
CEEMAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
115
click to vote
IJCAI
2003
15 years 1 months ago
2003
We consider the problem of updating nonmonotonic knowledge bases represented by epistemic logic programs where disjunctive information and notions of knowledge and beliefs can be ...
111
Voted
ECAI
2010
Springer
15 years 23 days ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...