XPath Typing Using a Modal Logic with Converse for Finite Trees.
Pierre GenevèsNabil LayaïdaAlan SchmittPublished in: PLAN-X (2007)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- ordered trees
- xml documents
- nonmonotonic logics
- query evaluation
- classical logic
- transitive closure
- decision trees
- unordered trees
- tree structure
- conditional logic
- epistemic logic
- tree structures
- xml trees
- finite number
- xpath queries
- explanation based generalization
- situation calculus
- xml data
- default logic
- first order logic
- semi structured data
- dynamic logic
- query language
- autoepistemic logic
- modal operators
- xml queries