116 search results - page 13 / 24 » Interpretive Reasoning with Hypothetical Cases |
SEMWEB
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
CADE
2009
Springer
14 years 10 months ago
2009
Springer
This paper is concerned with the problem of checking whether a given subset of an unsatisfiable Boolean CNF formula takes part in the basic causes of the inconsistency of . More ...
GIS
2009
ACM
14 years 27 days ago
2009
ACM
Geospatial information (GI) constitutes a significant portion of available data and are a key factor in planning and decision-making in a variety of domains,such as emergency man...
ICLP
1999
Springer
14 years 1 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
UAI
2004
13 years 11 months ago
2004
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about uncertainty ...