A Graphical Language for Proof Strategies.
Gudmund GrovAleks KissingerYuhui LinPublished in: LPAR (2013)
Keyphrases
- query language for xml
- language learning
- natural language
- database
- neural network
- proof theory
- selection strategies
- language processing
- computer programs
- conceptual graphs
- search strategies
- programming language
- database systems
- machine learning
- general purpose
- theorem proving
- multi agent
- artificial intelligence
- representation language
- data sets
- proof planning
- real time