The NP-Completeness of Reflected Fragments of Justification Logics.

Samuel R. Buss Roman Kuznets

Published in: LFCS (2009)

Keyphrases

expressive power
modal logic
inference rules
classical logic
knowledge base
search algorithm
propositional dynamic logic
horizontal fragmentation
proof theory
reason maintenance
data mining
horn logic
propositional calculus
truth values
nonmonotonic logics
default reasoning
similarity measure
computer vision