Complexity and expressive power of second-order extended Horn logic.
Shiguang FengXishun ZhaoPublished in: Math. Log. Q. (2013)
Keyphrases
- expressive power
- first order logic
- horn logic
- transitive closure
- query language
- propositional logic
- computational properties
- data complexity
- monadic second order logic
- relational algebra
- computational complexity
- belief revision
- belief change
- ontological reasoning
- user defined aggregates
- aggregate functions
- relational calculus
- decision problems
- utility function
- domain knowledge