Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice Operators.
Alfredo FerroPublished in: J. Autom. Reason. (1991)
Keyphrases
- set theory
- decision procedures
- theorem proving
- first order logic
- modal logic
- partial order
- automated reasoning
- fuzzy set theory
- mathematical morphology
- rough sets
- fuzzy sets
- conjunctive queries
- temporal logic
- probability theory
- inference rules
- propositional logic
- decision rules
- genetic algorithm
- theorem prover
- neural network
- fuzzy logic
- data mining