A Tree Logic with Graded Paths and Nominals
Everardo BárcenasPierre GenevèsNabil LayaïdaAlan SchmittPublished in: CoRR (2010)
Keyphrases
- alternating time temporal logic
- tree structure
- description logics
- logic programming
- modal logic
- tree structures
- binary tree
- expressive description logics
- r tree
- spanning tree
- tree construction
- classical logic
- logical framework
- tree search
- classification trees
- data structure
- hierarchical structure
- pattern matching
- knowledge representation