{"total":64,"rows":[{"id":"2305.11014","title":"Generalized Planning in PDDL Domains with Pretrained Large Language Models","created":"2023-05-18","cited_by_count":139,"area":null},{"id":"2103.00589","title":"Learning Symbolic Operators for Task and Motion Planning","created":"2021-02-28","cited_by_count":58,"area":null},{"id":"2102.10556","title":"Inductive logic programming at 30","created":"2021-02-21","cited_by_count":47,"area":null},{"id":"2112.13418","title":"Neuro-Symbolic Hierarchical Rule Induction","created":"2021-12-26","cited_by_count":23,"area":null},{"id":"2111.04879","title":"EvoLearner: Learning Description Logics with Evolutionary Algorithms","created":"2021-11-08","cited_by_count":17,"area":null},{"id":"2208.07912","title":"FOLD-SE: An Efficient Rule-based Machine Learning Algorithm with Scalable Explainability","created":"2022-08-16","cited_by_count":15,"area":null},{"id":"2308.09393","title":"Learning MDL logic programs from noisy data","created":"2023-08-18","cited_by_count":15,"area":null},{"id":"2503.00870","title":"NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains","created":"2025-03-02","cited_by_count":15,"area":null},{"id":"2403.00329","title":"Learning with Logical Constraints but without Shortcut Satisfaction","created":"2024-03-01","cited_by_count":10,"area":null},{"id":"2111.12038","title":"Learning Symbolic Rules for Reasoning in Quasi-Natural Language","created":"2021-11-23","cited_by_count":9,"area":null},{"id":"2402.14123","title":"DeiSAM: Segment Anything with Deictic Prompting","created":"2024-02-21","cited_by_count":9,"area":null},{"id":"2112.15319","title":"A Critical Review of Inductive Logic Programming Techniques for Explainable AI","created":"2021-12-31","cited_by_count":7,"area":null},{"id":"2202.06913","title":"FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data","created":"2022-02-14","cited_by_count":7,"area":null},{"id":"2206.01614","title":"Learning logic programs by combining programs","created":"2022-06-01","cited_by_count":7,"area":null},{"id":"2408.12212","title":"Relational decomposition for program synthesis","created":"2024-08-22","cited_by_count":6,"area":null},{"id":"2301.07629","title":"Generalisation Through Negation and Predicate Invention","created":"2023-01-18","cited_by_count":5,"area":null},{"id":"2408.11367","title":"Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation","created":"2024-08-21","cited_by_count":5,"area":null},{"id":"2112.11806","title":"Lifting Symmetry Breaking Constraints with Inductive Logic Programming","created":"2021-12-22","cited_by_count":4,"area":null},{"id":"2202.09806","title":"Learning logic programs by discovering where not to search","created":"2022-02-20","cited_by_count":4,"area":null},{"id":"2407.12220","title":"Questionable practices in machine learning","created":"2024-07-17","cited_by_count":4,"area":null},{"id":"2203.09181","title":"An Interactive Explanatory AI System for Industrial Quality Control","created":"2022-03-17","cited_by_count":2,"area":null},{"id":"2205.07129","title":"Efficient lifting of symmetry breaking constraints for complex combinatorial problems","created":"2022-05-14","cited_by_count":2,"area":null},{"id":"2208.03238","title":"Learning programs with magic values","created":"2022-08-05","cited_by_count":2,"area":null},{"id":"2305.18143","title":"Reason to explain: Interactive contrastive explanations (REASONX)","created":"2023-05-29","cited_by_count":2,"area":null},{"id":"2505.21486","title":"Hypothesis Generation via LLM-Automated Language Bias for ILP","created":"2025-05-27","cited_by_count":2,"area":null},{"id":"2509.07122","title":"Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis","created":"2025-09-08","cited_by_count":2,"area":null},{"id":"2510.25517","title":"Predicate Renaming via Large Language Models","created":"2025-10-29","cited_by_count":2,"area":null},{"id":"2602.13583","title":"Differentiable Rule Induction from Raw Sequence Inputs","created":"2026-02-14","cited_by_count":2,"area":null},{"id":"2202.00531","title":"PRIMA: Planner-Reasoner Inside a Multi-task Reasoning Agent","created":"2022-02-01","cited_by_count":1,"area":null},{"id":"2212.12335","title":"Rule Learning by Modularity","created":"2022-12-23","cited_by_count":1,"area":null},{"id":"2308.04161","title":"Current and Future Challenges in Knowledge Representation and Reasoning","created":"2023-08-08","cited_by_count":1,"area":null},{"id":"2308.08334","title":"Learning logic programs by discovering higher-order abstractions","created":"2023-08-16","cited_by_count":1,"area":null},{"id":"2409.07653","title":"STAND: Self-Aware Precondition Induction for Interactive Task Learning","created":"2024-09-11","cited_by_count":1,"area":null},{"id":"2508.00005","title":"Modelling Program Spaces in Program Synthesis with Constraints","created":"2025-07-10","cited_by_count":1,"area":null},{"id":"2508.06230","title":"Learning Logical Rules using Minimum Message Length","created":"2025-08-08","cited_by_count":1,"area":null},{"id":"2508.06716","title":"GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning","created":"2025-08-08","cited_by_count":1,"area":null},{"id":"2510.20641","title":"Integrating Machine Learning into Belief-Desire-Intention Agents: Current Advances and Open Challenges","created":"2025-10-23","cited_by_count":1,"area":null},{"id":"2610.06304","title":"Teaching a Minimalist Machine to Discover Recursive Programs for Arithmetic","created":"2026-10-05","cited_by_count":1,"area":null},{"id":"2112.12551","title":"Preprocessing in Inductive Logic Programming","created":"2021-12-21","cited_by_count":0,"area":null},{"id":"2208.03095","title":"A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming","created":"2022-08-05","cited_by_count":0,"area":null},{"id":"2208.06652","title":"Differentiable Inductive Logic Programming in High-Dimensional Space","created":"2022-08-13","cited_by_count":0,"area":null},{"id":"2305.19718","title":"A rule-general abductive learning by rough sets","created":"2023-05-31","cited_by_count":0,"area":null},{"id":"2308.15885","title":"Towards One-Shot Learning for Text Classification using Inductive Logic Programming","created":"2023-08-30","cited_by_count":0,"area":null},{"id":"2309.00422","title":"Declarative Reasoning on Explanations Using Constraint Logic Programming","created":"2023-09-01","cited_by_count":0,"area":null},{"id":"2407.15510","title":"Algebraic anti-unification","created":"2024-07-22","cited_by_count":0,"area":null},{"id":"2411.00049","title":"Rule by Rule: Learning with Confidence through Vocabulary Expansion","created":"2024-10-30","cited_by_count":0,"area":null},{"id":"2411.01188","title":"Learning Rules Explaining Interactive Theorem Proving Tactic Prediction","created":"2024-11-02","cited_by_count":0,"area":null},{"id":"2412.06839","title":"A Neural Model of Rule Discovery with Relatively Short-Term Sequence Memory","created":"2024-12-07","cited_by_count":0,"area":null},{"id":"2501.14346","title":"HorNets: Learning from Discrete and Continuous Signals with Routing Neural Networks","created":"2025-01-24","cited_by_count":0,"area":null},{"id":"2502.01232","title":"Efficient rule induction by ignoring pointless rules","created":"2025-02-03","cited_by_count":0,"area":null},{"id":"2502.09213","title":"Neuro-Symbolic Contrastive Learning for Cross-domain Inference","created":"2025-02-13","cited_by_count":0,"area":null},{"id":"2503.00611","title":"Modeling Arbitrarily Applicable Relational Responding with the Non-Axiomatic Reasoning System: A Machine Psychology Approach","created":"2025-03-01","cited_by_count":0,"area":null},{"id":"2503.07554","title":"An Empirical Comparison of Cost Functions in Inductive Logic Programming","created":"2025-03-10","cited_by_count":0,"area":null},{"id":"2503.18509","title":"Neuro-symbolic Weak Supervision: Theory and Semantics","created":"2025-03-24","cited_by_count":0,"area":null},{"id":"2506.06739","title":"Honey, I shrunk the hypothesis space (through logical preprocessing)","created":"2025-06-07","cited_by_count":0,"area":null},{"id":"2508.06263","title":"Symmetry breaking for inductive logic programming","created":"2025-08-08","cited_by_count":0,"area":null},{"id":"2510.24633","title":"Symbolic Snapshot Ensembles","created":"2025-10-28","cited_by_count":0,"area":null},{"id":"2602.07602","title":"Object-Oriented Transition Modeling with Inductive Logic Programming","created":"2026-02-07","cited_by_count":0,"area":null},{"id":"2603.12305","title":"HCP-DCNet: A Hierarchical Causal Primitive Dynamic Composition Network for Self-Improving Causal Understanding","created":"2026-03-12","cited_by_count":0,"area":null},{"id":"2605.04193","title":"ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming","created":"2026-05-05","cited_by_count":0,"area":null},{"id":"2606.19626","title":"Toten: A Knowledge-Based System For Structure-Preserving Representation Of Physical Quantities And Technical Notation In Brazilian Portuguese","created":"2026-06-17","cited_by_count":0,"area":null},{"id":"2607.01585","title":"ADVENT: LLM-Driven Automatic Predicate Invention for ILP","created":"2026-07-02","cited_by_count":0,"area":null},{"id":"2609.24942","title":"Exactness at Inference: A Representational Criterion for Out-of-Distribution Generalization","created":"2026-09-21","cited_by_count":0,"area":null},{"id":"2609.37233","title":"DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}