Sign in

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

Xinran NingYang XuGuanfeng WuHuimin Fu
Published in: Symmetry (2018)
Keyphrases
  • first order logic
  • horn clauses
  • probability distribution
  • theorem prover
  • logical rules
  • search space
  • knowledge representation
  • inference rules