Transitive Primal Infon Logic-ERRATUM.
Carlos CotriniYuri GurevichPublished in: Rev. Symb. Log. (2013)
Keyphrases
- linear programming
- linear program
- support vector
- automated reasoning
- logic programming
- logical framework
- classical logic
- image restoration
- primal dual
- objective function
- data sets
- formal theory
- epistemic logic
- algorithm for linear programming
- proof theory
- simplex algorithm
- computational properties
- probabilistic logic
- probability theory
- transitive closure
- modal logic
- least squares
- search algorithm
- optimal solution
- artificial intelligence