Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic.

Xinran Ning Yang Xu Guanfeng Wu Huimin Fu

Published in: Symmetry (2018)

Keyphrases

first order logic
horn clauses
probability distribution
theorem prover
logical rules
search space
knowledge representation
inference rules