Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees.
Rafael CaballeroAdrián RiescoAlberto VerdejoNarciso Martí-OlietPublished in: LOPSTR (2011)
Keyphrases
- decision trees
- linear logic
- neural network
- knowledge representation
- answer questions
- programming environment
- machine learning
- tree models
- correct answers
- formal specification
- theorem proving
- theorem prover
- tree structure
- artificial intelligence
- tree structures
- intelligent tutoring systems
- domain independent
- programming language
- tree nodes
- equational theories