A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.
Domenico CantoneCalogero G. ZarbaPublished in: FTP (LNCS Selection) (1998)
Keyphrases
- set theory
- first order logic
- proof procedure
- description logics
- fuzzy set theory
- mathematical morphology
- rough sets
- partial order
- decision rules
- rough set theory
- algebraic geometry
- decision making
- artificial intelligence
- propositional logic
- co occurrence
- image analysis
- neural network
- fuzzy sets
- pattern recognition
- computer vision
- tableau calculus