663 search results - page 19 / 133 » E-connections of abstract description systems |
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper we present our approach to model and verify workflowintensive systems. Besides the functional properties (given by the temporal workflow description) we aug...
RR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
PRIMA
2007
Springer
14 years 1 months ago
2007
Springer
Biologically inspired complex adaptive systems (BICAS) have and will continue to move from research laboratories into industry. As the ions presented by biologically inspired syste...
ICWL
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...