Browse State-of-the-Art › Inductive logic programming › Papers, page 2
Inductive logic programming
Papers archive 2025-07-28
archive papers tagged: 153 · with a code link: 54 · where Syntology ran a sample: 12 (11 with a run with no instrument failure, 1 where every run was a failure of Syntology's instrument) Syntology
Show: all tagged papersonly where code ran (12 of 153 tagged: 11 with a run with no instrument failure, 1 where every run was a failure of Syntology's instrument)
Page 2 of 2: papers 101 to 153 of 153, in archive order: by repositories listed in the archive (most first), then newest first, not by stars (the archive holds no stars, so PwC's “Social” and “Latest” sorts cannot be reproduced). Papers that list no repository come after every paper that lists one.
Papers without a page here are shown as plain text. A Syntology line reads “N ran (of which C constructed an object rather than computing a result; K with no instrument failure: H honoured, V violated, P with no contract checked; I where Syntology's instrument failed) · U unverified”; the figure “where Syntology's instrument failed” counts failures of Syntology's instrument, not of the code. When the archive marks a repository official for the paper, the line starts with that repository's state (the archive's flag, not a verdict on who wrote the code); hover it for the repositories the samples that ran came from. Abstracts are on each paper's page.
-
Differentiable Logic Machines23 Feb 2021 0 repositories listed
-
Inductive logic programming at 3021 Feb 2021 0 repositories listed
-
Learning logic programs by explaining their failures18 Feb 2021 0 repositories listed
-
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs18 Feb 2021 0 repositories listed
-
HySTER: A Hybrid Spatio-Temporal Event Reasoner17 Jan 2021 0 repositories listed
-
Conflict-driven Inductive Logic Programming31 Dec 2020 0 repositories listed
-
NSL: Hybrid Interpretable Learning From Noisy Raw Data9 Dec 2020 0 repositories listed
-
Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Fair and Explainable Automatic Recruitment1 Dec 2020 0 repositories listed
-
Resource Constrained Dialog Policy Learning via Differentiable Inductive Logic Programming10 Nov 2020 0 repositories listed
-
Learning Explainable Linguistic Expressions with Neural Inductive Logic Programming for Sentence Classification1 Nov 2020 0 repositories listed
-
Proceedings 36th International Conference on Logic Programming (Technical Communications)19 Sep 2020 0 repositories listed
-
Induction and Exploitation of Subgoal Automata for Reinforcement Learning8 Sep 2020 0 repositories listed
-
White-box Induction From SVM Models: Explainable AI with Logic Programming9 Aug 2020 0 repositories listed
-
Inducing game rules from varying quality game play4 Aug 2020 0 repositories listed
-
Evaluating the Apperception Engine9 Jul 2020 0 repositories listed
-
The ILASP system for Inductive Learning of Answer Set Programs2 May 2020 0 repositories listed
-
Learning large logic programs by going beyond entailment21 Apr 2020 0 repositories listed
-
Incorporating Relational Background Knowledge into Reinforcement Learning via Differentiable Inductive Logic Programming23 Mar 2020 0 repositories listed
-
Turning 30: New Ideas in Inductive Logic Programming25 Feb 2020 0 repositories listed
-
SMT + ILP15 Jan 2020 0 repositories listed
-
A logic-based relational learning approach to relation extraction: The OntoILPER system13 Jan 2020 0 repositories listed
-
Maximal Closed Set and Half-Space Separations in Finite Closure Systems13 Jan 2020 0 repositories listed
-
One-Shot Induction of Generalized Logical Concepts via Human Guidance15 Dec 2019 0 repositories listed
-
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)13 Dec 2019 0 repositories listed
-
Induction of Subgoal Automata for Reinforcement Learning29 Nov 2019 0 repositories listed
-
REMI: Mining Intuitive Referring Expressions on Knowledge Bases4 Nov 2019 0 repositories listed
-
Enriching Visual with Verbal Explanations for Relational Concepts -- Combining LIME with Aleph4 Oct 2019 0 repositories listed
-
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models18 Sep 2019 0 repositories listed
-
Proceedings 35th International Conference on Logic Programming (Technical Communications)17 Sep 2019 0 repositories listed
-
Logical reduction of metarules25 Jul 2019 0 repositories listed
-
Efficient predicate invention using shared "NeMuS"15 Jun 2019 0 repositories listed
-
Learning Algorithms via Neural Logic Networks2 Apr 2019 0 repositories listed
-
Increasing city safety awareness regarding disruptive traffic stream30 Jan 2019 0 repositories listed
-
An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge2 Oct 2018 0 repositories listed
-
Inductive Learning of Answer Set Programs from Noisy Examples25 Aug 2018 0 repositories listed
-
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME2 Aug 2018 0 repositories listed
-
Learning Probabilistic Logic Programs in Continuous Domains15 Jul 2018 0 repositories listed
-
Logical Explanations for Deep Relational Machines Using Relevance Information2 Jul 2018 0 repositories listed
-
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation10 Jul 2017 0 repositories listed
-
Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation16 Jun 2017 0 repositories listed
-
PrASP Report30 Dec 2016 0 repositories listed
-
Neuro-symbolic EDA-based Optimisation using ILP-enhanced DBNs20 Dec 2016 0 repositories listed
-
Deeply Semantic Inductive Spatio-Temporal Learning9 Aug 2016 0 repositories listed
-
Iterative Learning of Answer Set Programs from Context Dependent Examples5 Aug 2016 0 repositories listed
-
Generation of Near-Optimal Solutions Using ILP-Guided Sampling3 Aug 2016 0 repositories listed
-
Learning Weak Constraints in Answer Set Programming23 Jul 2015 0 repositories listed
-
SkILL - a Stochastic Inductive Logic Learner2 Jun 2015 0 repositories listed
-
Consensus-Based Modelling using Distributed Feature Construction11 Sep 2014 0 repositories listed
-
Imparo is complete by inverse subsumption14 Jul 2014 0 repositories listed
-
E-Generalization Using Grammars28 Mar 2014 0 repositories listed
-
Inductive Logic Boosting25 Feb 2014 0 repositories listed
-
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning19 Nov 2013 0 repositories listed
-
kLog: A Language for Logical and Relational Learning with Kernels17 May 2012 0 repositories listed