{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/learning-rules-with-stratified-negation-in","title":"Learning Rules with Stratified Negation in Differentiable ILP.","arxiv_id":null,"date":"2021-10-08","proceeding":"NeurIPS Workshop AIPLANS 2021 12","authors":["Giri P Krishnan","Frederick Maier","Ramyaa Ramyaa"],"abstract":"Differentiable methods to learn rules (logic programs) have the potential to integrate the interpretability, transferability and low data requirements of inductive logic programming with the noise tolerance of non-symbolic learning. While negation is an essential component of reasoning, incorporating it into a logic programming framework poses several problems (hence its central place in the logic programming and nonmonotonic reasoning communities). Current implementations of differentiable rule learners either exclude negation entirely or else treat it only in passing. In this work, we introduce stratified negation into a differentiable inductive logic programming framework, and we  demonstrate that the resulting system can learn recursive programs in which negation plays a central role. We include examples from multiple domains, e.g.,  arithmetic, graph, sets and lists.","url_abs":"https://openreview.net/forum?id=BOtQHCVIh_K","url_pdf":"https://openreview.net/pdf?id=BOtQHCVIh_K","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"learning-rules-with-stratified-negation-in","repo_url":"https://github.com/girip/dilp-stratified-negation","is_official":1,"mentioned_in_paper":0,"mentioned_in_github":0,"framework":"tf","reach":null}],"tasks":[{"task_slug":"inductive-logic-programming","task_name":"Inductive logic programming"},{"task_slug":"negation","task_name":"Negation"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}