1162 search results - page 41 / 233 » Monotonic Semantic Interpretation |
TPHOL
1999
IEEE
15 years 3 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
ICDM
2007
IEEE
15 years 5 months ago
2007
IEEE
Diagnostic decision-making in pulmonary medical imaging has been improved by computer-aided diagnosis (CAD) systems, serving as second readers to detect suspicious nodules for dia...
110
click to vote
AGP
2003
IEEE
15 years 4 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
CCIA
2007
Springer
15 years 5 months ago
2007
Springer
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
COST
2008
Springer
15 years 17 days ago
2008
Springer
In this overview, we look at embedded clauses that report somebody's attitude or speech. Semantic content in the embedded clause can in some such cases be interpreted from eit...