3658 search results - page 43 / 732 » The logic of proofs, semantically |
CADE
2010
Springer
13 years 8 months ago
2010
Springer
CADE
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Focused proof systems provide means for reducing and structuring the non-determinism involved in searching for sequent calculus proofs. We present a focused proof system ...
JFPLC
2000
13 years 10 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
We describe ongoing research to support the construction of terminologies with Description Logics. For the explanation of subsumption we search for particular concepts because of t...
CADE
2010
Springer
13 years 10 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...