HoCHC: a Refutationally-complete and Semantically-invariant System of Higher-order Logic Modulo Theories.

C.-H. Luke Ong Dominik Wagner

Published in: CoRR (2019)

Keyphrases

higher order logic
higher order
modulo theories
theorem prover
conditional logic
logical framework
data representation
relational databases
knowledge representation
np complete