Vadalog: A modern architecture for automated reasoning with large knowledge graphs.
Luigi BellomariniDavide BenedettoGeorg GottlobEmanuel SallingerPublished in: Inf. Syst. (2022)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- commonsense knowledge
- domain knowledge
- theorem proving
- neural network
- theorem prover
- conceptual model
- knowledge representation and reasoning
- decision procedures
- probabilistic reasoning
- knowledge base
- knowledge management
- artificial neural networks
- reasoning tasks
- expert systems