Primal Infon Logic: Derivability in Polynomial Time.
Anguraj BaskarPrasad NaldurgK. R. RaghavendraS. P. SureshPublished in: FSTTCS (2013)
Keyphrases
- algorithm for linear programming
- primal dual
- affine scaling
- truth table
- special case
- modal logic
- support vector
- linear programming
- defeasible logic
- logic programming
- simplex algorithm
- objective function
- epistemic logic
- finite automata
- approximation algorithms
- linear program
- multi valued
- dual formulation
- computational properties
- logical framework
- optimal solution