Complexity results for logics of local reasoning and inconsistent belief.

Published in: TARK (2005)

Keyphrases

proof theory
computational properties
inheritance reasoning
worst case
inference rules
computational complexity
modal logic
knowledge base
space complexity
qualitative reasoning
automated reasoning
reasoning process
belief base
evidential reasoning
expressive power
polynomial hierarchy
proof theoretic