On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case.
Willem ConradieGuido SciaviccoPublished in: CAEPIA (2011)
Keyphrases
- expressive power
- first order logic
- relational calculus
- horn clauses
- propositional logic
- relational algebra
- transitive closure
- monadic second order logic
- data complexity
- knowledge representation
- inference rules
- markov networks
- computational properties
- probabilistic reasoning
- query language
- inductive logic programming
- relational structures
- theorem prover
- databases
- data management
- artificial intelligence
- answer set programming
- complex objects
- temporal information
- relational data model
- database systems