Constraint Optimization using Preference Logics: A New Role for Modal Logic.
Allen L. Brown Jr.Surya ManthaToshiro WakayamaPublished in: PPCP (1993)
Keyphrases
- modal logic
- constraint optimization
- temporal logic
- inference rules
- classical logic
- epistemic logic
- nonmonotonic logics
- default logic
- conditional logic
- constraint satisfaction problems
- constraint programming
- situation calculus
- constraint networks
- dynamic logic
- branch and bound search
- constraint satisfaction
- prime implicates
- autoepistemic logic