Craig Interpolation for Guarded Fragments.

Balder ten Cate Jesse Comer

Published in: CoRR (2023)

Keyphrases

linear interpolation
interpolation methods
query answering
image interpolation
neural network
machine learning
horizontal fragmentation
information retrieval
genetic algorithm
search engine
image processing
website
decision trees
interpolation method
piecewise polynomial