1894 search results - page 23 / 379 » Towards Mobile Reasoning |
FAC
1998
14 years 9 months ago
1998
PDSE
2000
14 years 10 months ago
2000
This paper presents a theoretical and practical framework for constructing and reasoning about mobile agents. The framework is formulated as a process calculus and has two contrib...
DLOG
2004
14 years 11 months ago
2004
In this paper, we propose a tableau-based technique for reasoning with various distributed DL knowledge bases. This technique can be applied both to DDLs and to new and relevant s...
AAAI
2011
13 years 9 months ago
2011
From an automated planning perspective the problem of practical mobile robot control in realistic environments poses many important and contrary challenges. On the one hand, the p...
VL
1999
IEEE
15 years 1 months ago
1999
IEEE
Isaac is a rule-based language for mobile robots currently under development at NMSU. A successor to Altaira, it replaces Altaira's state-based rules and tile-based navigatio...