Characterizations of Weighted First-Order Logics over Semirings.

Eleni Mandrali George Rahonis

Published in: CAI (2013)

Keyphrases

conditional logic
expressive power
first order logic
higher order
constraint satisfaction problems
valued logic
modal logic
databases
classical logic
nonmonotonic logics
classical first order logic
logic programming
inference rules
propositional logic
weighted sum
acyclic database schemes