Solving Problems by Formula Manipulation in Logic and Linear Inequalities.
Louis HodesPublished in: Artif. Intell. (1972)
Keyphrases
- solving problems
- linear inequalities
- linear programming
- integer linear programming
- linear program
- linear temporal logic
- convex hull
- logic programming
- real numbers
- logical formulas
- truth values
- classical logic
- modal logic
- horn clauses
- predicate logic
- data sets
- integer programming
- temporal logic
- logic programs
- kripke models