392 search results - page 60 / 79 » Integrating Constraints in an Object-Based Knowledge Represe... |
FOIS
2006
13 years 9 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
SWAP
2007
13 years 9 months ago
2007
Chronic heart failure is a severe clinical syndrome among the most remarkable for prevalence and morbidity in the developed western countries. The European STREP project HEARTFAID ...
IWRT
2010
13 years 5 months ago
2010
The paper proposes an integrated framework which uses knowledge representation theory and languages to annotate relevant product information in a semantically rich and unambiguous ...
ECAI
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...