K3, L3, LP, RM3, A3, FDE: How to Make Many-Valued Logics Work for You.
Allen P. HazenFrancis Jeffry PelletierPublished in: CoRR (2017)
Keyphrases
- modal logic
- truth values
- linear programming
- inference rules
- linear program
- temporal logic
- expressive power
- classical logic
- nonmonotonic logics
- conditional logic
- epistemic logic
- conceptual clustering
- optimal solution
- propositional dynamic logic
- propositional calculus
- valued logic
- learning algorithm
- algorithm for linear programming
- simplex method
- lp relaxation
- default logic
- situation calculus
- np hard
- knowledge base