Reasoning with Quantifiers and Theories Using Saturation-Based Reasoning.
Andrei VoronkovPublished in: SYNASC (2018)
Keyphrases
- formal models
- reasoning mechanisms
- causal reasoning
- reasoning and decision making
- reasoning tasks
- knowledge base
- automated reasoning
- artificial intelligence
- analogical reasoning
- theoretical framework
- reasoning process
- spatial reasoning
- logical formulas
- approximate reasoning
- knowledge representation
- information systems
- data sets
- meta level
- default reasoning
- reasoning systems
- image enhancement
- defeasible logic
- first order logic
- computational model
- natural language
- learning algorithm