Computer-Aided Proofs of Arrow's and Other Impossibility Theorems.
Fangzhen LinPingzhong TangPublished in: AAAI (2008)
Keyphrases
- computer aided
- sequent calculus
- cut elimination
- computer assisted
- proof search
- computer aided diagnosis
- natural deduction
- image analysis
- computer aided design
- inference rules
- theorem proving
- diagnosis of breast cancer
- capsule endoscopy
- linear logic
- pattern recognition
- theorem prover
- early diagnosis
- case study
- design tools
- prostate cancer
- modal logic
- pulmonary nodules
- feature extraction
- computer vision
- neural network