Expressing versus Proving: Relating Forms of Complexity in Logic.

Antonina Kolokolova

Published in: J. Log. Comput. (2012)

Keyphrases

worst case
logic programming
modal logic
computer vision
knowledge representation
multi valued
search algorithm
computational complexity
np hard
decision problems
logical framework