Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
Marco B. CaminatiManfred KerberChristoph LangeColin RowatPublished in: CoRR (2014)
Keyphrases
- set theory
- higher order logic
- theorem prover
- first order logic
- inference rules
- theorem proving
- automated reasoning
- partial order
- fuzzy set theory
- mathematical morphology
- higher order
- rough sets
- knowledge representation
- probability theory
- probabilistic reasoning
- machine learning
- rough set theory
- incomplete information
- data mining
- fuzzy sets
- description logics
- feature extraction
- logical framework
- genetic algorithm