A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership.
Domenico CantoneCalogero G. ZarbaRosa Ruggeri CannataPublished in: J. Autom. Reason. (2005)
Keyphrases
- set theory
- first order logic
- proof procedure
- description logics
- partial order
- fuzzy set theory
- mathematical morphology
- boolean algebra
- rough sets
- decision makers
- decision making
- rough set theory
- decision rules
- algebraic geometry
- fuzzy sets
- artificial neural networks
- machine learning
- neural network
- propositional logic
- graphical models
- multi dimensional
- data structure