An algorithm for computing theory prime implicates in first order logic.

Arindama Singh Manoj K. Raut

Published in: Int. J. Inf. Commun. Technol. (2007)

Keyphrases

first order logic
machine learning
computational complexity
optimal solution
theorem proving
databases
theorem prover
propositional logic
search space
np hard
probabilistic model