Playing in the grey area of proofs.
Krystof HoderLaura KovácsAndrei VoronkovPublished in: POPL (2012)
Keyphrases
- theorem proving
- grey relational analysis
- grey system theory
- formal proof
- computer games
- grey theory
- equational theories
- game playing
- grey model
- theorem prover
- multi agent
- genetic algorithm
- databases
- grey relation
- expert systems
- database
- decision procedures
- card game
- case study
- decision trees
- mathematical proofs
- data sets