673 search results - page 12 / 135 » Approximate coherence-based reasoning |
KR
1992
Springer
14 years 19 days ago
1992
Springer
Converting complex equations into simpler, more tractable equations usually involves approximation. Approximation is usually done by identifying and removing insignificant terms, ...
DEXA
2010
Springer
13 years 9 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
CSL
2006
Springer
14 years 8 days ago
2006
Springer
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE