{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-3816/paper12.html","spt.description":null,"spt.id":"Vol-3816/paper12","spt.wikidataid":null,"spt.title":"Rule-aware Datalog Fact Explanation Using Group-SAT\nSolver","spt.pdfUrl":"https://ceur-ws.org/Vol-3816/paper12.pdf","spt.volume":{"number":3816,"acronym":"RuleML+RR-Companion 2024","wikidataid":"Q131010110","title":"Companion Proceedings of the 8th International Joint Conference on Rules and Reasoning","description":"Proceedings of RuleML+RR-Companion 2024 workshop","url":"http://ceur-ws.org/Vol-3816/","date":"2024-10-31","dblp":null,"k10plus":null,"urn":"urn:nbn:de:0074-3816-7"},"spt.session":null,"cvb.id":"Vol-3816/paper12","cvb.title":"Rule-aware Datalog Fact Explanation Using Group-SAT\nSolver","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"Akira Charoensit,David Carral,Pierre Bisquert,Lucas Rouquette,Federico Ulliana","cvb.vol_number":"3816","cvb.pdf_name":"paper12.pdf","cvb.pages":null,"cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/rulemlrr/CharoensitCBRU24","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/rulemlrr/2024c","dblp.volume_number":3816,"dblp.title":"Rule-aware Datalog Fact Explanation Using Group-SAT Solver.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/43/10267","label":"Pierre Bisquert","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/389/5719","label":"Lucas Rouquette","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/23/11465","label":"Federico Ulliana","wikidata_id":"Q86294151","orcid_id":"0000-0002-9192-9573","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/386/3655","label":"Akira Charoensit","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/00/11425","label":"David Carral","wikidata_id":null,"orcid_id":"0000-0001-7287-4709","gnd_id":null}],"dblp.pdf_id":"Vol-3816/paper12"}