Sciweavers

875 search results - page 41 / 175
» Reasoning about Knowledge and Continuity
Sort
View
KI
2005
Springer
15 years 3 months ago
Temporalizing Spatial Calculi: On Generalized Neighborhood Graphs
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
Marco Ragni, Stefan Wölfl
CAI
2004
Springer
14 years 9 months ago
On the Use of the Choquet Integral for the Collaborative Creation of Learning Objects
Abstract. Computer-supported collaborative knowledge creation is the continuous process of development of knowledge assets, where produced knowledge has to be assessed by the devel...
Juan Manuel Dodero, Miguel-Ángel Sicilia, C...
KR
2004
Springer
15 years 3 months ago
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
Yves Martin, Iman Narasamdya, Michael Thielscher
GEOS
2009
Springer
15 years 2 months ago
Towards Reasoning Pragmatics
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler
CVPR
2007
IEEE
15 years 11 months ago
Bilattice-based Logical Reasoning for Human Detection
The capacity to robustly detect humans in video is a critical component of automated visual surveillance systems. This paper describes a bilattice based logical reasoning approach...
Vinay D. Shet, Jan Neumann, Visvanathan Ramesh, La...