An Algorithm for Computing Prime Implicates in Modal Logic.

Published in: CoRR (2018)

Keyphrases

modal logic
computational complexity
search space
prime implicates
inference rules
knowledge base
optimal solution
np hard
information extraction
natural language processing