421 search results - page 68 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
KR
1992
Springer
15 years 3 months ago
1992
Springer
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
AAAI
1996
15 years 11 days ago
1996
We propose an agent-based framework for assisting and simplifying person-to-person communication for information gathering tasks. As an example, we focus on locating experts for a...
64
Voted
CSL
2009
Springer
15 years 5 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
IANDC
2008
14 years 11 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
73
Voted
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...