1568 search results - page 142 / 314 » Fusions of Description Logics |
KI
2008
Springer
14 years 10 months ago
2008
Springer
We describe a method for cascading Description Logic (DL) representation and reasoning on the one hand, and HTN action planning on the other. The planning domain description as wel...
125
Voted
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
IPPS
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
80
Voted
LOGCOM
2008
14 years 10 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
SAMT
2007
Springer
15 years 4 months ago
2007
Springer
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...