18 search results - page 4 / 4 » A Tableaux-based Mobile DL Reasoner - An Experience Report |
PEWASUN
2004
ACM
13 years 11 months ago
2004
ACM
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...
GIS
2003
ACM
14 years 7 months ago
2003
ACM
With wireless communications and geo-positioning being widely available, it becomes possible to offer new e-services that provide mobile users with information about other mobile ...
AI
2004
Springer
13 years 6 months ago
2004
Springer
We describe a logic-based AI architecture based on Brooks' subsumption architecture. In this architecture, we axiomatize different layers of control in First-Order Logic (FOL...