Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
Davide BresolinValentin GorankoAngelo MontanariGuido SciaviccoPublished in: SEFM (2009)
Keyphrases
- multi valued
- real numbers
- sound and complete axiomatization
- interval arithmetic
- constrained optimization
- probabilistic logic
- real world
- decision variables
- classical logic
- general logic programs
- constraint language
- predicate logic
- cardinality constraints
- floating point
- modal logic
- horn clauses
- interval valued
- automated reasoning
- predicate calculus
- default logic
- propositional logic