A Generic Framework for Implicate Generation Modulo Theories.

Mnacho Echenim Nicolas Peltier Yanis Sellami

Published in: CoRR (2018)

Keyphrases

modulo theories
answer set programming
logic programming
deductive databases