Solving Problems by Formula Manipulation in Logic and Linear Inequalities.
Louis HodesPublished in: IJCAI (1971)
Keyphrases
- solving problems
- linear inequalities
- linear programming
- integer linear programming
- linear program
- convex hull
- linear temporal logic
- modal logic
- real numbers
- logic programming
- horn clauses
- classical logic
- truth values
- training data
- artificial intelligence
- data sets
- special case
- lower bound
- predicate logic
- logical formulas
- neural network