2082 search results - page 88 / 417 » Change Paths in Reasoning! |
PUK
2003
13 years 10 months ago
2003
This paper exploits the spatial representation of state space problem graphs to preprocess and enhance heuristic search engines. It combines classical AI exploration with computati...
LOGCOM
2007
13 years 8 months ago
2007
The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations. The representation covers in a single framework not only...
ICRA
2008
IEEE
14 years 3 months ago
2008
IEEE
— This paper presents two new approaches to planning with uncertainty in position that achieve better performance than existing techniques and that are able to incorporate change...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
SPATIALCOGNITION
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...