1321 search results - page 148 / 265 » Subtyping in Logical Form |
169
click to vote
AAAI
2007
15 years 8 months ago
2007
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
166
click to vote
IJCAI
2007
15 years 7 months ago
2007
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...
160
click to vote
SWAP
2008
15 years 7 months ago
2008
The definition of new concepts or roles for which extensional knowledge become available can turn out to be necessary to make a DL ontology evolve. In this paper we reformulate thi...
140
click to vote
AAAI
1997
15 years 7 months ago
1997
This paper presents a logical account of sensor data assimilation in a mobile robot, based on abduction. Unlike previous work, the present formulation handles sensor noise as well...
153
click to vote
AAAI
1996
15 years 7 months ago
1996
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot's limited window on the world, and uncertain, due t...