Interpolation in conditional equational logic.
Pieter Hendrik RodenburgPublished in: Fundam. Informaticae (1991)
Keyphrases
- theorem proving
- conditional logic
- automated reasoning
- modal logic
- horn clauses
- logic programming
- lattice theory
- classical logic
- theorem prover
- image interpolation
- asynchronous circuits
- predicate logic
- probabilistic logic
- logical framework
- defeasible logic
- artificial intelligence
- interpolation methods
- formal theory
- proof theory
- high resolution
- data sets
- linear interpolation
- random field model
- neural network