1426 search results - page 58 / 286 » Specification of nonmonotonic reasoning |
CADE
2002
Springer
15 years 10 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a ...
ARTMED
2006
14 years 10 months ago
2006
Medical assessment of penetrating injuries is a difficult and knowledge-intensive task. Physical examination and computed tomographic (CT) imaging data must be combined with detai...
IPL
2008
14 years 9 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
ZUM
1998
Springer
15 years 2 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...