Reachability Analysis of Innermost Rewriting.
Thomas GenetYann SalmonPublished in: Log. Methods Comput. Sci. (2017)
Keyphrases
- reachability analysis
- markov decision processes
- model checking
- state space
- timed automata
- incremental algorithms
- query rewriting
- rewrite rules
- conjunctive queries
- queries using views
- temporal logic
- rewriting rules
- decision making
- artificial intelligence
- real time
- query answering
- datalog programs
- probability distribution
- regular path queries
- search algorithm
- reinforcement learning