Weighted First-Order Logics over Semirings.

Eleni Mandrali George Rahonis

Published in: Acta Cybern. (2015)

Keyphrases

conditional logic
constraint satisfaction problems
first order logic
weighted sum
expressive power
inference rules
modal logic
databases
stochastic dominance
higher order
belief revision
classical logic
computational properties
computational complexity
valued logic
database
classical first order logic