Keyphrases
- statistical machine translation
- solving problems
- knowledge base
- relational databases
- reasoning process
- automated reasoning
- relational data
- neural network
- modulo theories
- reasoning systems
- qualitative reasoning
- probabilistic reasoning
- knowledge representation
- machine learning
- database schema
- spatial reasoning
- relational model
- combinatorial optimization
- artificial intelligence
- analogical reasoning
- database