Primal Infon Logic with Conjunctions as Sets.
Carlos CotriniYuri GurevichOri LahavArtem MelentyevPublished in: IFIP TCS (2014)
Keyphrases
- horn clauses
- linear programming
- support vector
- simplex algorithm
- classical logic
- linear program
- truth values
- objective function
- least squares
- modal logic
- sound and complete axiomatization
- neural network
- affine scaling
- definite clause
- asynchronous circuits
- defeasible logic
- logical framework
- automated reasoning
- primal dual
- first order logic
- logic programming
- dynamic programming
- special case