Sciweavers

2214 search results - page 116 / 443
» Complexity of Reasoning
Sort
View
CADE
2010
Springer
15 years 4 months ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...
FUIN
2006
88views more  FUIN 2006»
15 years 3 months ago
Calculi of Approximation Spaces
This paper considers the problem of how to establish calculi of approximation spaces. Approximation spaces considered in the context of rough sets were introduced by Zdzislaw Pawla...
Andrzej Skowron, Jaroslaw Stepaniuk, James F. Pete...
AAMAS
2005
Springer
15 years 3 months ago
Formalisations of Capabilities for BDI-Agents
Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into some of these systems as a software en...
Lin Padgham, Patrick Lambrix
CBRMD
2010
40views more  CBRMD 2010»
15 years 1 months ago
Adaptation Problems focusing on Endocrine Therapy Support
So far, Case-Based Reasoning has not become as successful in medicine as in some other application domains. One, probably the main reason is the adaptation problem. In Case-Based R...
Rainer Schmidt, Olga Vorobieva
137
Voted
ICRA
2010
IEEE
148views Robotics» more  ICRA 2010»
15 years 1 months ago
An integrated probabilistic model for scan-matching, moving object detection and motion estimation
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
Joop van de Ven, Fabio Ramos, Gian Diego Tipaldi