The Complexity of Limited Belief Reasoning - The Quantifier-Free Case.

Yijia Chen Abdallah Saffidine Christoph Schwering

Published in: CoRR (2018)

Keyphrases

quantifier free
quantifier elimination
rewrite systems
computational complexity
belief revision
knowledge base
np hard
first order logic