Sciweavers

2082 search results - page 168 / 417
» Change Paths in Reasoning!
Sort
View
IJCAI
2001
15 years 5 months ago
From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 ass...
David A. Randell, Mark Witkowski, Murray Shanahan
HIS
2003
15 years 5 months ago
On a Set Theory With Uncertain Membership Relations
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
DLOG
1996
15 years 5 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner
WOA
2007
15 years 5 months ago
Expectations driven approach for Situated, Goal-directed Agents
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...
AICOM
2007
119views more  AICOM 2007»
15 years 4 months ago
Using exogenous quantities in qualitative models about environmental sustainability
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...
Bert Bredeweg, Paulo Salles, Tim Nuttle