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

Yijia Chen Abdallah Saffidine Christoph Schwering

Published in: IJCAI (2018)

Keyphrases

computational complexity
knowledge representation
belief revision
knowledge base
quantifier free
database
databases
first order logic
quantifier elimination