1582 search results - page 22 / 317 » On Higher-Order Description Logics |
CSL
2002
Springer
13 years 8 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
DLOG
2007
13 years 10 months ago
2007
ECSQARU
2007
Springer
14 years 2 months ago
2007
Springer
Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces...
TPHOL
1992
IEEE
14 years 16 days ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
CADE
2001
Springer
14 years 8 months ago
2001
Springer