Keyphrases
- expressive power
- logic programming
- automated theorem proving
- classical logic
- highly expressive
- formal language
- language independent
- first order logic
- machine learning
- automated reasoning
- world model
- physical world
- proof theory
- computational properties
- logical framework
- cross lingual
- modal logic
- multi agent systems
- learning algorithm