81 search results - page 2 / 17 » PDL-based framework for reasoning about actions |
WWW
2008
ACM
14 years 6 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
AIIA
1995
Springer
13 years 9 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
AAAI
1994
13 years 7 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
CSFW
2005
IEEE
13 years 11 months ago
2005
IEEE
Authentication and secrecy properties are proved by very different methods: the former by local reasoning, leading to matching knowledge of all principals about the order of their...
AAAI
2010
13 years 6 months ago
2010
Approaches to reasoning about knowledge in imperfect information games typically involve an exhaustive description of the game, the dynamics characterized by a tree and the incomp...