Dual Tableau-based Decision Procedures for Some Relational Logics.
Domenico CantoneMarianna Nicolosi AsmundoEwa OrlowskaPublished in: CILC (2010)
Keyphrases
- decision procedures
- modal logic
- theorem proving
- automated reasoning
- proof procedure
- conjunctive queries
- reasoning problems
- data model
- relational databases
- description logics
- temporal logic
- model theoretic
- satisfiability problem
- query containment
- quantified boolean formulas
- database
- theorem prover
- inference rules
- relational model
- relational queries
- bayesian networks
- database systems
- databases