356 search results - page 37 / 72 » Axiomatizing Causal Reasoning |
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
EXACT
2008
15 years 2 months ago
2008
Abstract. Explanation and argumentation are fundamental to reasoning. They are therefore of some importance to artificial intelligence. Discourse-based reasoning (DBR) is a knowled...
FLAIRS
2004
15 years 1 months ago
2004
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...
COSIT
1999
Springer
15 years 4 months ago
1999
Springer
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...
PKDD
2009
Springer
15 years 6 months ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...