On weighted first-order logics with discounting.
Eleni MandraliGeorge RahonisPublished in: Acta Informatica (2014)
Keyphrases
- conditional logic
- first order logic
- expressive power
- higher order
- classical first order logic
- inference rules
- modal logic
- weighted graph
- weighted distance
- quantifier elimination
- propositional dynamic logic
- belief revision
- integrity constraints
- propositional logic
- weighted sum
- np complete
- valued logic
- propositional calculus
- genetic algorithm