The Complexity of Decomposing Modal and First-Order Theories.

Stefan Göller Jean Christoph Jung Markus Lohrey

Published in: ACM Trans. Comput. Log. (2015)

Keyphrases

higher order
modal logic
theory revision
polynomial size
machine learning
information retrieval
computational complexity
worst case
theoretical framework
computational models
data mining
computational cost
model checking
relational learning