596 search results - page 84 / 120 » Integrated Distributed Description Logics |
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
116
click to vote
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
DOLAP
2005
ACM
14 years 11 months ago
2005
ACM
Data warehouses and OLAP systems help to interactively analyze huge volume of data. This data, extracted from transactional databases, frequently contains spatial information whic...
AAAI
2006
14 years 11 months ago
2006
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
DLOG
2010
14 years 7 months ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...