Reasoning about XML with temporal logics and automata.
Leonid LibkinCristina SirangeloPublished in: J. Appl. Log. (2010)
Keyphrases
- temporal logic
- automata theoretic
- model checking
- xml documents
- mazurkiewicz traces
- finite state
- modal operators
- modal logic
- xml data
- xml schema
- concurrent systems
- satisfiability problem
- markup language
- predicate logic
- verification method
- cellular automata
- metadata
- belief revision
- regular expressions
- relational databases
- data model
- object oriented
- formal verification
- temporal resolution
- temporal knowledge
- reinforcement learning
- linear temporal logic
- reactive systems
- knowledge representation
- semistructured data
- state space
- petri net