Rational Proofs with Non-Cooperative Provers.
Jing ChenSamuel McCauleyShikha SinghPublished in: CoRR (2017)
Keyphrases
- cooperative
- theorem prover
- theorem proving
- proof search
- decision procedures
- decision making
- multi agent systems
- inference rules
- formal proof
- cooperative learning
- equational theories
- natural deduction
- distributed problem solving
- first order logic
- multi agent
- website
- formal proofs
- neural network
- bayesian networks
- case study
- computer algebra
- cooperating agents
- feature selection
- mathematical knowledge
- air combat