123 search results - page 19 / 25 » Symbol Grounding and its Implications for Artificial Intelli... |
AIPS
2006
13 years 10 months ago
2006
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
AGP
1996
IEEE
14 years 24 days ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
TABLEAUX
2000
Springer
14 years 6 days ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
AIIDE
2007
13 years 11 months ago
2007
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
IBERAMIA
2010
Springer
13 years 7 months ago
2010
Springer
Several methods have been developed for face detection with certain success, however these tend to fail under difficult conditions such as partial occlusions and changes in orienta...