Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description).
William SnellDirk PattinsonFlorian WidmannPublished in: LPAR (2012)
Keyphrases
- modal logic
- linear inequalities
- temporal logic
- linear programming
- inference rules
- integer linear programming
- epistemic logic
- linear program
- classical logic
- nonmonotonic logics
- conditional logic
- convex hull
- situation calculus
- prime implicates
- integer program
- modal operators
- multi agent systems
- bayesian networks
- learning algorithm
- explanation based generalization
- autoepistemic logic
- feasible solution
- artificial intelligence