2291 search results - page 216 / 459 » Representational Reasoning and Verification |
GIS
2007
ACM
15 years 23 days ago
2007
ACM
This paper describes a deterministic approach for the typification of buildings which uses several levels of details for the derivation of intermediate scales. The typification pro...
KI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
116
click to vote
FUIN
2010
14 years 10 months ago
2010
In this paper we present the IDUM system, a successful application of logic programming to e-tourism. IDUM exploits two technologies that are based on the state-of-the-art ASP syst...
98
Voted
AIIDE
2008
15 years 3 months ago
2008
Systems that provide automated game-design support-whether fully automated game generators, or tools to assist human designers--must be able to maintain a representation of a game...
128
Voted
KES
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...