How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.
Michael D. ErnstPublished in: TAP@TOOLS (2010)
Keyphrases
- theorem prover
- relevance feedback
- test cases
- test data
- multiple choice questions
- artificial intelligence
- theorem proving
- multi agent
- mathematical proofs
- database
- formal proofs
- assessment tool
- natural deduction
- feedback information
- statistical tests
- user feedback
- expert systems
- natural language
- database systems
- decision making
- information systems
- search engine
- learning algorithm
- neural network
- databases
- real time