Expressive Power and Succinctness of Propositional Languages for Preference Representation.
Sylvie Coste-MarquisJérôme LangPaolo LiberatorePierre MarquisPublished in: KR (2004)
Keyphrases
- expressive power
- first order logic
- relation algebra
- data complexity
- query language
- transitive closure
- propositional logic
- computational properties
- relational algebra
- modal logic
- constraint query languages
- knowledge compilation
- relational structures
- horn clauses
- relational calculus
- recursive queries
- artificial intelligence
- databases