MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance.
Josef UrbanGeoff SutcliffePetr PudlákJirí VyskocilPublished in: IJCAR (2008)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- reasoning tasks
- decision procedures
- probabilistic reasoning
- automated verification
- knowledge representation and reasoning
- high level
- e learning
- learning process
- learning environment
- propositional satisfiability
- neural network
- natural language
- training data
- natural language understanding
- artificial intelligence
- semantic information
- general purpose
- supervised learning
- machine learning