319 search results - page 43 / 64 » Uncertainty Reasoning in Description Logics: A Generic Appro... |
110
click to vote
DLOG
2006
15 years 1 months ago
2006
Highly optimized reasoning support for Description Logics (DLs) has been developed during the past years. This paper presents our efforts to develop a reasoner suitable for mobile ...
AI
2006
Springer
15 years 1 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
105
click to vote
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we propose a timing-reasoning algorithm to improve the resolution of delay fault diagnosis. In contrast to previous approaches which identify candidates by utilizin...
105
click to vote
DLOG
2007
15 years 2 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
107
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...