3776 search results - page 313 / 756 » Partition-Based Logical Reasoning |
155
click to vote
DLOG
2001
15 years 6 months ago
2001
We consider expressive Description Logics (ALCN) allowing for number restrictions on complex roles built with combinations of role constructors. In particular, we are mainly inter...
152
click to vote
DLOG
2003
15 years 6 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
163
click to vote
ENTCS
2002
15 years 4 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
208
click to vote
SAS
2010
Springer
15 years 3 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
160
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...