Minimization and Convexity in Threshold Logic
Michael L. DertouzosZachary C. FluhrPublished in: SWAT (1966)
Keyphrases
- logic programming
- modal logic
- threshold selection
- objective function
- multi valued
- data sets
- classical logic
- global minimization
- predicate logic
- logical framework
- proof theory
- minimization problems
- digital circuits
- threshold values
- defeasible logic
- roc curve
- convex hull
- multi agent systems
- multiscale
- artificial intelligence