Prime Implicate Generation in Equational Logic (extended abstract).

Mnacho Echenim Nicolas Peltier Sophie Tourret

Published in: IJCAI (2018)

Keyphrases

extended abstract
prime implicates
modal logic
prime implicants
theorem proving
inference rules
horn clauses
abductive reasoning
temporal logic
logic programming
normal form
computational properties
natural language
description logics
phase transition
belief change