Volume: Vol-3816 RuleML+RR-Companion 2024 | Year: 2024

Paper: « paper3 | paper12 | paper17 »

Rule-aware Datalog Fact Explanation Using Group-SAT Solver

Pierre Bisquert dblp
Lucas Rouquette dblp
Federico Ulliana ORCID dblp Wikidata
Akira Charoensit dblp
David Carral ORCID dblp