Keyphrases
- linear programming
- classical logic
- multi valued
- logic programming
- database
- linear program
- probabilistic logic
- data sets
- asynchronous circuits
- simplex algorithm
- predicate logic
- modal logic
- support vector
- objective function
- description logics
- least squares
- convex optimization
- automated reasoning
- data model
- lower bound
- artificial intelligence
- deontic logic
- genetic algorithm
- proof theory