126 search results - page 9 / 26 » ki 2007 |
KI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
KI
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. In this paper, we present a system for simultaneous localization and map building of a mobile robot, based on an attentional landmark detector. A biologically motivated a...
KI
2007
Springer
14 years 1 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
KI
2007
Springer
13 years 7 months ago
2007
Springer
Engineering adaptive Web applications implies the development of content that can be automatically adjusted to varying client devices and user preferences. To meet this requiremen...
KI
2007
Springer
14 years 1 months ago
2007
Springer
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a person’s activities and signiï¬...