| Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time | May 6, 2025 | Computational EfficiencyDecision Making | —Unverified | 0 |
| Neuro-symbolic Weak Supervision: Theory and Semantics | Mar 24, 2025 | Inductive logic programmingPartial Label Learning | —Unverified | 0 |
| An Empirical Comparison of Cost Functions in Inductive Logic Programming | Mar 10, 2025 | Inductive logic programmingProgram Synthesis | —Unverified | 0 |
| Neuro-Symbolic Contrastive Learning for Cross-domain Inference | Feb 13, 2025 | Contrastive LearningInductive logic programming | —Unverified | 0 |
| Proceedings 40th International Conference on Logic Programming | Feb 11, 2025 | Inductive logic programmingProbabilistic Programming | —Unverified | 0 |
| Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback | Jan 13, 2025 | Inductive LearningInductive logic programming | CodeCode Available | 0 |
| Online inductive learning from answer sets for efficient reinforcement learning exploration | Jan 13, 2025 | Inductive LearningInductive logic programming | —Unverified | 0 |
| HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic | Dec 1, 2024 | CPUGPU | —Unverified | 0 |
| Learning Rules Explaining Interactive Theorem Proving Tactic Prediction | Nov 2, 2024 | Automated Theorem ProvingInductive logic programming | CodeCode Available | 0 |
| Differentiable Inductive Logic Programming for Fraud Detection | Oct 29, 2024 | Fraud DetectionInductive logic programming | —Unverified | 0 |
