Login / Signup

Computing prime implicates by pruning the search space and accelerating subsumption.

Andrew MatusiewiczNeil V. MurrayPaul W. OlsenErik Rosenthal
Published in: J. Log. Comput. (2017)
Keyphrases
  • pruning the search space
  • prime implicates
  • prime implicants
  • normal form
  • search space
  • belief change
  • modal logic
  • desirable properties
  • description logics
  • np complete
  • database systems
  • abductive reasoning