Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling.

Yann Chevaleyre Ulle Endriss Jérôme Lang

Published in: KR (2006)

Keyphrases

expressive power
first order logic
data complexity
query language
transitive closure
computational properties
propositional logic
propositional formulas
relational algebra
relational calculus
databases
inference rules
knowledge representation