Dual tableau-based decision procedures for relational logics with restricted composition operator.
Domenico CantoneMarianna Nicolosi AsmundoEwa OrlowskaPublished in: J. Appl. Non Class. Logics (2011)
Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- reasoning problems
- relational databases
- conjunctive queries
- proof procedure
- description logics
- temporal logic
- data model
- tableau calculus
- relational model
- model theoretic
- satisfiability problem
- relational queries
- probabilistic reasoning
- machine learning
- model checking
- special case
- tight complexity bounds