A Resolution Decision Procedure for Fluted Logic.
Renate A. SchmidtUllrich HustadtPublished in: CADE (2000)
Keyphrases
- decision making
- proof procedure
- consequence finding
- decision rules
- high resolution
- decision makers
- multi valued
- decision problems
- valued logic
- image resolution
- classical logic
- logical framework
- automated reasoning
- decision process
- modal logic
- neural network
- evolutionary algorithm
- high quality
- case study
- image processing
- artificial intelligence