Prime Implicate Generation in Equational Logic.

Mnacho Echenim Nicolas Peltier Sophie Tourret

Published in: J. Artif. Intell. Res. (2017)

Keyphrases

prime implicates
modal logic
prime implicants
abductive reasoning
horn clauses
logic programming
normal form
theorem proving
automated reasoning
databases
information extraction
theorem prover