Craig Interpolation for Decidable First-Order Fragments.
Balder ten CateJesse ComerPublished in: FoSSaCS (2) (2024)
Keyphrases
- integrity constraints
- first order logic
- guarded fragment
- transitive closure
- expressive power
- mazurkiewicz traces
- higher order
- theorem proving
- image interpolation
- inference rules
- propositional logic
- knowledge representation
- temporal logic
- horn clauses
- interpolation method
- action theories
- interpolation methods
- stochastic dominance
- inductive logic programming
- function free horn
- linear temporal logic
- theorem prover
- quantifier elimination
- neural network
- computation tree logic
- database