875 search results - page 8 / 175 » Reasoning about Knowledge and Continuity |
WWW
2008
ACM
15 years 10 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 ...
TARK
2005
Springer
15 years 3 months ago
2005
Springer
AAAI
2010
14 years 10 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...
ARTMED
2006
14 years 9 months ago
2006
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
IJCAI
2007
14 years 11 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...