3776 search results - page 121 / 756 » Partition-Based Logical Reasoning |
104
click to vote
CADE
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a DPLL calculus that is a decision procedure for the Bernays-Sch
112
click to vote
DLOG
2009
15 years 1 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
CL
2000
Springer
15 years 7 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
CADE
1994
Springer
15 years 7 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.
119
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...