Vol-3815⫷ Vol-3816 ⫸Vol-3817
urn:nbn:de:0074-3816-0


Vol-3816/paper3⫷Vol-3816/paper12⫸Vol-3816/paper17
Akira CharoensitDavid CarralPierre BisquertLucas RouquetteFederico Ulliana

Rule-aware Datalog Fact Explanation Using Group-SAT Solver