1941 search results - page 43 / 389 » On the Hardness of Approximate Reasoning |
CSL
2006
Springer
15 years 3 months 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
15 years 5 months ago
2006
IEEE
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
KR
2004
Springer
15 years 5 months ago
2004
Springer
KR
2000
Springer
15 years 3 months ago
2000
Springer
We propose to extend the ontology of logical AI to include approximate objects, approximate predicates and approximate theories. Besides the ontology we treat the relations among ...