Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
Marco B. CaminatiManfred KerberChristoph LangeColin RowatPublished in: CICM (2014)
Keyphrases
- rough set theory
- decision rules
- set theory
- higher order logic
- theorem prover
- rough sets
- fuzzy set theory
- higher order
- first order logic
- inference rules
- automated reasoning
- theorem proving
- fuzzy sets
- logic programs
- data analysis
- conditional logic
- programming language
- neural network
- image analysis
- incomplete information
- probabilistic reasoning
- default reasoning
- pattern recognition
- multiscale
- computer vision