Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.
Laura BozzelliPublished in: CONCUR (2007)
Keyphrases
- fixpoint
- finite state machines
- logic programs
- model checking
- deductive databases
- proof theoretic
- expressive power
- stable models
- fixpoint semantics
- datalog programs
- horn clauses
- recursive queries
- temporal reasoning
- answer set programming
- update rule
- model theoretic
- logic programming
- machine learning
- nonmonotonic reasoning
- databases
- answer sets
- temporal logic
- pattern matching