Keyphrases
- support vector
- classical logic
- artificial intelligence
- proof theory
- least squares
- multi valued
- logic programming
- linear program
- modal logic
- primal dual
- automated reasoning
- deontic logic
- computational properties
- objective function
- neural network
- expert systems
- affine scaling
- predicate logic
- algorithm for linear programming
- probability theory
- abductive reasoning
- logical framework
- linear programming
- machine learning