875 search results - page 8 / 175 » Reasoning about Knowledge and Continuity |
WWW
2008
ACM
16 years 10 days 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 ...
76
Voted
TARK
2005
Springer
15 years 5 months ago
2005
Springer
105
Voted
AAAI
2010
15 years 23 days 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 11 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...
87
Voted
IJCAI
2007
15 years 1 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...