The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations.
Domenico CantoneMarianna Nicolosi AsmundoPublished in: Electron. Notes Theor. Comput. Sci. (2016)
Keyphrases
- decision problems
- set theory
- partial order
- fuzzy set theory
- influence diagrams
- decision model
- computational complexity
- rough sets
- first order logic
- optimal policy
- decision processes
- utility function
- rough set theory
- mathematical morphology
- np hard
- neural network
- fuzzy sets
- probability theory
- description logics
- case based reasoning
- knowledge discovery
- morphological operations
- data analysis
- image processing
- data mining