2291 search results - page 98 / 459 » Representational Reasoning and Verification |
102
click to vote
Book
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....
ICEBE
2005
IEEE
14 years 2 months ago
2005
IEEE
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...
KR
2004
Springer
14 years 2 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
ICCBR
2001
Springer
14 years 1 months ago
2001
Springer
Conversational Case-Based Reasoning (CCBR) systems engage a user in a series of questions and answers to retrieve cases that solve his/her current problem. Help-desk and interactiv...
IJCAI
2007
13 years 10 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...