Login / Signup
The Complexity of Decomposing Modal and First-Order Theories.
Stefan Göller
Jean Christoph Jung
Markus Lohrey
Published in:
LICS (2012)
Keyphrases
</>
computational complexity
worst case
theory revision
higher order
first order logic
databases
machine learning
modal logic
real time
data mining
artificial intelligence
bayesian networks