| Enriching Visual with Verbal Explanations for Relational Concepts -- Combining LIME with Aleph | Oct 4, 2019 | Explanation GenerationInductive logic programming | —Unverified | 0 |
| Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models | Sep 18, 2019 | Inductive logic programming | —Unverified | 0 |
| Proceedings 35th International Conference on Logic Programming (Technical Communications) | Sep 17, 2019 | Automated Theorem ProvingData Integration | —Unverified | 0 |
| RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools | Sep 16, 2019 | Inductive knowledge graph completionInductive logic programming | CodeCode Available | 0 |
| CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text | Aug 16, 2019 | DiagnosticGraph Neural Network | CodeCode Available | 1 |
| Learning higher-order logic programs | Jul 25, 2019 | Inductive logic programming | CodeCode Available | 1 |
| Logical reduction of metarules | Jul 25, 2019 | Inductive logic programming | —Unverified | 0 |
| Towards meta-interpretive learning of programming language semantics | Jul 20, 2019 | Inductive logic programming | CodeCode Available | 0 |
| Inductive general game playing | Jun 23, 2019 | Inductive logic programmingSokoban | CodeCode Available | 0 |
| Efficient predicate invention using shared "NeMuS" | Jun 15, 2019 | Inductive LearningInductive logic programming | —Unverified | 0 |
