IJCAI
2003
14 years 4 months ago
2003
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...
FLOPS
2008
Springer
14 years 5 months ago
2008
Springer
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...
ECAI
1998
Springer
14 years 7 months ago
1998
Springer
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...