Sciweavers

IJCAI
2003
13 years 4 months ago
Tucking RCC in Cyc's Ontological Bed
Formalisms and axiomatic theories are designed to support reasoning, they are often intended with a preferred interpretation and a targeted ontology. Questions of proper interpret...
Pierre Grenon
FLOPS
2008
Springer
13 years 4 months ago
Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
Rafael Caballero, Mario Rodríguez-Artalejo,...
ECAI
1998
Springer
13 years 7 months ago
Connection Relations in Mereotopology
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...
Anthony G. Cohn, Achille C. Varzi