The parameterized space complexity of model-checking bounded variable first-order logic.
Yijia ChenMichael ElberfeldMoritz MüllerPublished in: CoRR (2017)
Keyphrases
- space complexity
- model checking
- first order logic
- timed automata
- temporal logic
- expressive power
- propositional logic
- theorem proving
- knowledge representation
- finite state
- probabilistic reasoning
- theorem prover
- arc consistency
- formal specification
- worst case
- incomplete information
- inference rules
- horn clauses
- pspace complete
- formal semantics
- set theory
- automated reasoning