Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs.
Domenico CantoneVincenzo CutelloAlfredo FerroPublished in: ISSAC (1988)
Keyphrases
- set theory
- decision procedures
- theorem proving
- first order logic
- rough sets
- partial order
- fuzzy set theory
- modal logic
- automated reasoning
- rough set theory
- fuzzy sets
- mathematical morphology
- neural network
- gray scale
- databases
- conjunctive queries
- description logics
- satisfiability problem
- theorem prover
- input image
- knowledge representation
- decision making
- machine learning