Decidable and Undecidable Logics with a Binary Modality.
Ágnes KuruczIstván NémetiIldikó SainAndrás SimonPublished in: J. Log. Lang. Inf. (1995)
Keyphrases
- exptime complete
- expressive power
- datalog programs
- query containment
- description logics
- multi modal
- unions of conjunctive queries
- transitive closure
- data complexity
- first order logic
- sufficient conditions
- data exchange
- query answering
- np complete
- data model
- hamming distance
- modal logic
- query processing
- binary classifiers
- data integration
- pspace complete
- query language