507 search results - page 63 / 102 » Automating first-order relational logic |
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...
86
Voted
CADE
2006
Springer
16 years 29 days ago
2006
Springer
One of the keys to the success of the TPTP and related projects is their consistent use of the TPTP language. The ability of the TPTP language to express solutions as well as probl...
VLDB
2005
ACM
15 years 6 months ago
2005
ACM
A key challenge for companies is to manage customer relationships as an asset. To create an effective toolkit for the analysis of customer relationships, a combination of relation...
95
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
99
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...