Circuitree: A Datalog Reasoner in Zero-Knowledge.
Tom GoddenRuben de SmetChristophe DebruyneThibaut VanderveldenKris SteenhautAn BraekenPublished in: IEEE Access (2022)
Keyphrases
- knowledge base
- query answering
- expert systems
- knowledge acquisition
- domain knowledge
- knowledge representation
- prior knowledge
- logic programs
- higher level
- query language
- knowledge management
- machine learning
- knowledge based systems
- logic programming
- learning systems
- expressive power
- deductive databases
- knowledge extraction
- recursive programs