Socratic Proofs for Quantifiers.
Andrzej WisniewskiVasilyi ShanginPublished in: J. Philos. Log. (2006)
Keyphrases
- tutoring system
- theorem proving
- first order logic
- formal proofs
- mathematical proofs
- equational theories
- formal proof
- theorem prover
- interactive theorem proving
- feature selection
- database systems
- natural language
- artificial neural networks
- inference rules
- mathematical knowledge
- computer programs
- data sets
- video sequences
- information retrieval
- neural network
- databases