First-Order Interpolation and Interpolating Proof Systems.

Laura Kovács Andrei Voronkov

Published in: LPAR (2017)

Keyphrases

complex systems
computer vision
interpolation method
artificial intelligence
social networks
image sequences
management system
software engineering
higher order
distributed systems
intelligent systems
computer systems
first order logic
image interpolation