Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs.

Matthias Schlaipfer Georg Weissenbacher

Published in: J. Autom. Reason. (2016)

Keyphrases

theorem proving
building blocks
retrieval systems
management system
decision procedures
high quality
expert systems
multiresolution
high resolution
distributed systems
intelligent systems
knowledge based systems
complex systems
inductive logic programming
constraint propagation