Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs.
Balder ten CateAlessandro FacchiniPublished in: MFCS (2011)
Keyphrases
- modal logic
- temporal logic
- inference rules
- epistemic logic
- decision trees
- classical logic
- default logic
- tree structured data
- transitive closure
- nonmonotonic logics
- prime implicates
- dynamic logic
- graph mining
- explanation based generalization
- attributed graphs
- modal operators
- conditional logic
- weighted graph
- graph databases
- situation calculus
- graph matching
- expert systems