2015
DOI: 10.1093/logcom/exv059
|View full text |Cite
|
Sign up to set email alerts
|

Boolean unification with predicates

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
8
0

Year Published

2017
2017
2020
2020

Publication Types

Select...
3
2
1

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(8 citation statements)
references
References 18 publications
0
8
0
Order By: Relevance
“…The Boolean solution problem or Boolean unification with predicates is a computational task related to second-order quantifier elimination [44,42,56]. So far, PIE includes experimental implementations for special cases: Quantifier-free formulas with a technique from [16] and a version for finding solutions with respect to ground atoms, in analogy to the elimination of ground atoms.…”
Section: Results Of Interpolationmentioning
confidence: 99%
“…The Boolean solution problem or Boolean unification with predicates is a computational task related to second-order quantifier elimination [44,42,56]. So far, PIE includes experimental implementations for special cases: Quantifier-free formulas with a technique from [16] and a version for finding solutions with respect to ground atoms, in analogy to the elimination of ground atoms.…”
Section: Results Of Interpolationmentioning
confidence: 99%
“…The Boolean solution problem or Boolean unification with predicates is a computational task related to second-order quantifier elimination [40,38,50]. So far, PIE includes experimental implementations for simple cases: Quantifier-free formulas with a technique from [13] and a version for finding solutions with respect to ground atoms, in analogy to the elimination of ground atoms.…”
Section: Results Of Eliminationmentioning
confidence: 99%
“…A generalization of Boolean unification to predicate logic with various specific problems characterized by the involved formula classes has been investigated in [16]. The material presented here is largely orthogonal to that work, but a technique from [16] has been adapted to more general cases in Sect. 7.3.…”
Section: View As Unificationmentioning
confidence: 99%
“…Some of these relate to applications of Craig interpolation. Recent work by Eberhard, Hetzl and Weller [16] shows a constructive method for quantifier-free first-order formulas. A generalization of their technique to relational monadic formulas is shown, which, however, produces solutions that would be acceptable only under a relaxed notion of substitutibility.…”
Section: Approaching Constructive Solution Techniquesmentioning
confidence: 99%
See 1 more Smart Citation