SayCanPay: Heuristic Planning with Large Language Models Using Learnable Domain Knowledge.

AAAI 
2024 
0 
Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation.

AAAI 
2024 
0 
On the Hardness of Probabilistic Neurosymbolic Learning.

ICML 
2024 
0 
Modeling PU learning using probabilistic logic programming.

MLJ 
2024 
0 
From statistical relational to neurosymbolic artificial intelligence: A survey.

Artificial Intelligence 
2024 
0 
Lifted Reasoning for Combinatorial Counting.

JAIR 
2023 
1 
Neural probabilistic logic programming in discretecontinuous domains.

UAI 
2023 
0 
Deep Explainable Relational Reinforcement Learning: A NeuroSymbolic Approach.

ECML/PKDD 
2023 
0 
Safe Reinforcement Learning via Probabilistic Logic Shields.

IJCAI 
2023 
0 
SoftUnification in Deep Probabilistic Logic.

NIPS/NeurIPS 
2023 
0 
FirstOrder ContextSpecific Likelihood Weighting in Hybrid Probabilistic Logic Programs.

JAIR 
2023 
0 
A Markov Framework for Learning and Reasoning About Strategies in Professional Soccer.

JAIR 
2023 
0 
Learning MAXSAT from contextual examples for combinatorial optimisation.

Artificial Intelligence 
2023 
0 
Inference and Learning with Model Uncertainty in Probabilistic Logic Programs.

AAAI 
2022 
0 
DeepStochLog: Neural Stochastic Logic Programming.

AAAI 
2022 
0 
Lifted model checking for relational MDPs.

MLJ 
2022 
0 
Mapping probability word problems to executable representations.

EMNLP 
2021 
3 
Learning CNF Theories Using MDL and Predicate Invention.

IJCAI 
2021 
0 
Approximate Inference for Neural Probabilistic Logic Programming.

KR 
2021 
5 
Democratizing Constraint Satisfaction Problems through Machine Learning.

AAAI 
2021 
1 
Neural probabilistic logic programming in DeepProbLog.

Artificial Intelligence 
2021 
0 
From Statistical Relational to NeuroSymbolic Artificial Intelligence.

IJCAI 
2020 
73 
VisualSynth: Democratizing Data Science in Spreadsheets.

ECML/PKDD 
2020 
0 
ProbAnch: a Modular Probabilistic Anchoring Framework.

IJCAI 
2020 
1 
Ordering Variables for Weighted Model Integration.

UAI 
2020 
2 
Algebraic Circuits for Decision Theoretic Inference and Learning.

ECAI 
2020 
4 
Learning MAXSAT from Contextual Examples for Combinatorial Optimisation.

AAAI 
2020 
8 
Predictive spreadsheet autocompletion with constraints.

MLJ 
2020 
0 
How to Exploit Structure while Solving Weighted Model Integration Problems.

UAI 
2019 
12 
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration.

IJCAI 
2019 
14 
Exact and Approximate Weighted Model Integration with Probability Density Functions Using Knowledge Compilation.

AAAI 
2019 
33 
Acquiring Integer Programs from Data.

IJCAI 
2019 
7 
Semantic and geometric reasoning for robotic grasping: a probabilistic logic approach.

Autonomous Robots 
2019 
0 
Learning SMT(LRA) Constraints using SMT Solvers.

IJCAI 
2018 
36 
DeepProbLog: Neural Probabilistic Logic Programming.

NIPS/NeurIPS 
2018 
302 
Relational affordances for multipleobject manipulation.

Autonomous Robots 
2018 
19 
Learning Constraints From Examples.

AAAI 
2018 
61 
Relational Affordance Learning for TaskDependent Robot Grasping.

ILP 
2017 
3 
Flexible constrained sampling with guarantees for pattern mining.

DMKD 
2017 
0 
TaCLe: Learning Constraints in Tabular Data.

CIKM 
2017 
6 
MiningZinc: A declarative framework for constraintbased mining.

Artificial Intelligence 
2017 
32 
Planning in hybrid relational MDPs.

MLJ 
2017 
8 
Learning constraints in spreadsheets and tabular data.

MLJ 
2017 
28 
Stochastic Constraint Programming with AndOr BranchandBound.

IJCAI 
2017 
10 
kProbLog: an algebraic Prolog for machine learning.

MLJ 
2017 
6 
Relational data factorization.

MLJ 
2017 
0 
Solving Probability Problems in Natural Language.

IJCAI 
2017 
15 
Learning the Structure of Dynamic Hybrid Relational Models.

ECAI 
2016 
14 
Exploiting local and repeated structure in Dynamic Bayesian Networks.

Artificial Intelligence 
2016 
32 
Probabilistic logic programming for hybrid relational domains.

MLJ 
2016 
0 
kProbLog: An Algebraic Prolog for Kernel Programming.

ILP 
2015 
2 
Languages for Learning and Mining.

AAAI 
2015 
3 
Probabilistic (logic) programming concepts.

MLJ 
2015 
165 
Rank Matrix Factorisation.

PAKDD 
2015 
4 
Inducing Probabilistic Relational Rules from Probabilistic Examples.

IJCAI 
2015 
65 
Relational KernelBased Grasping with Numerical Features.

ILP 
2015 
5 
ProbLog2: Probabilistic Logic Programming.

ECML/PKDD 
2015 
44 
Anytime Inference in Probabilistic Logic Programs with TpCompilation.

IJCAI 
2015 
40 
An Exercise in Declarative Modeling for Relational Query Mining.

ILP 
2015 
8 
Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming.

ECML/PKDD 
2015 
26 
Graph Invariant Kernels.

IJCAI 
2015 
88 
kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract).

IJCAI 
2015 
0 
Distributional Clauses Particle Filter.

ECML/PKDD 
2014 
2 
Relational object tracking and learning.

ICRA 
2014 
26 
Occluded object search by relational affordances.

ICRA 
2014 
26 
Condition Monitoring with Incomplete Observations.

ECAI 
2014 
1 
Relational Regularization and Feature Ranking.

SDM 
2014 
2 
Ranked Tiling.

ECML/PKDD 
2014 
21 
ExplanationBased Approximate Weighted Model Counting for Probabilistic Logics.

AAAI 
2014 
15 
Learning relational affordance models for twoarm robots.

IROS 
2014 
13 
PageRank, ProPPR, and Stochastic Logic Programs.

ILP 
2014 
2 
kLog: A language for logical and relational learning with kernels.

Artificial Intelligence 
2014 
0 
A particle filter for hybrid relational domains.

IROS 
2013 
49 
Allocentric Pose Estimation.

ICCV 
2013 
9 
MiningZinc: A Modeling Language for ConstraintBased Mining.

IJCAI 
2013 
36 
Learning relational affordance models for robots in multiobject manipulation tasks.

ICRA 
2012 
125 
Declarative Modeling for Machine Learning and Data Mining.

ECML/PKDD 
2012 
19 
ILP turns 20  Biography and future challenges.

MLJ 
2012 
75 
Itemset mining: A constraint programming perspective.

Artificial Intelligence 
2011 
182 
Evaluating Pattern Set Mining Strategies in a Constraint Programming Framework.

PAKDD 
2011 
11 
An Algebraic Prolog for Reasoning about Possible Worlds.

AAAI 
2011 
53 
KernelBased Logical and Relational Learning with kLog for Hedge Cue Detection.

ILP 
2011 
16 
Lifted Probabilistic Inference by FirstOrder Knowledge Compilation.

IJCAI 
2011 
183 
Inference in Probabilistic Logic Programs using Weighted CNF's.

UAI 
2011 
95 
Learning the Parameters of Probabilistic Logic Programs from Interpretations.

ECML/PKDD 
2011 
76 
Relational Learning for Spatial Relation Extraction from Natural Language.

ILP 
2011 
31 
Effective feature construction by maximum common subgraph sampling.

MLJ 
2011 
0 
Stochastic relational processes: Efficient inference and applications.

MLJ 
2011 
0 
Guest editorial to the special issue on inductive logic programming, mining and learning in graphs and statistical relational learning.

MLJ 
2011 
0 
Probabilistic Rule Learning.

ILP 
2010 
44 
Not Far Away from Home: A Relational DistanceBased Approach to Understanding Images of Houses.

ILP 
2010 
2 
Fast learning of relational kernels.

MLJ 
2010 
40 
Constraint Programming for Data Mining and Machine Learning.

AAAI 
2010 
71 
Extending ProbLog with Continuous Distributions.

ILP 
2010 
55 
DTProbLog: A DecisionTheoretic Probabilistic Prolog.

AAAI 
2010 
60 
ProbLog Technology for Inference in a Probabilistic First Order Logic.

ECAI 
2010 
18 
Grammar Mining.

SDM 
2009 
0 
Towards Clausal Discovery for Stream Mining.

ILP 
2009 
8 
Probabilistic Logic Learning  A Tutorial Abstract.

ICLP 
2009 
0 
Correlated itemset mining in ROC space: a constraint programming approach.

KDD 
2009 
82 
A query language for analyzing networks.

CIKM 
2009 
53 
Local Query Mining in a Probabilistic Prolog.

IJCAI 
2009 
11 
Clustergrouping: from subgroup discovery to clustering.

MLJ 
2009 
0 
Parameter Learning in Probabilistic Databases: A Least Squares Approach.

ECML/PKDD 
2008 
66 
A Simple Model for Sequences of Relational State Descriptions.

ECML/PKDD 
2008 
26 
On the Efficient Execution of ProbLog Programs.

ICLP 
2008 
65 
An experimental evaluation of simplicity in rule learning.

Artificial Intelligence 
2008 
20 
Compressing probabilistic Prolog programs.

MLJ 
2008 
41 
Constraint programming for itemset mining.

KDD 
2008 
173 
rgrams: Relational Grams.

IJCAI 
2007 
9 
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery.

IJCAI 
2007 
429 
Integrating Naïve Bayes and FOIL.

JMLR 
2007 
70 
ConstraintBased Pattern Set Mining.

SDM 
2007 
121 
On Mining Closed Sets in MultiRelational Data.

IJCAI 
2007 
28 
Probabilistic Explanation Based Learning.

ECML/PKDD 
2007 
28 
Predicting Spike Activity in Neuronal Cultures.

IJCNN 
2007 
1 
Learning Relational Navigation Policies.

IROS 
2006 
40 
Kernels on Prolog Proof Trees: Statistical Learning in the ILP Setting.

JMLR 
2006 
39 
kFOIL: Learning Simple Relational Kernels.

AAAI 
2006 
115 
Don't Be Afraid of Simpler Patterns.

ECML/PKDD 
2006 
63 
Revising Probabilistic Prolog Programs.

ILP 
2006 
0 
Frequent Hypergraph Mining.

ILP 
2006 
0 
Logical Hidden Markov Models.

JAIR 
2006 
0 
Towards Learning Stochastic Logic Programs from ProofBanks.

AAAI 
2005 
15 
nFOIL: Integrating Naïve Bayes and FOIL.

AAAI 
2005 
101 
Statistical Relational Learning: An Inductive Logic Programming Perspective.

ECML/PKDD 
2005 
5 
Logical Markov Decision Programs and the Convergence of Logical TD(lambda).

ILP 
2004 
36 
Towards Optimizing Conjunctive Inductive Queries.

PAKDD 
2004 
9 
ClusterGrouping: From Subgroup Discovery to Clustering.

ECML/PKDD 
2004 
41 
Bellman goes relational.

ICML 
2004 
121 
Condensed Representations for Inductive Logic Programming.

KR 
2004 
49 
An Algebra for Inductive Query Evaluation.

ICDM 
2003 
29 
A Theory of Inductive Query Answering.

ICDM 
2002 
99 
Phase Transitions and Stochastic Local Search in kTerm DNF Learning.

ECML/PKDD 
2002 
40 
The Levelwise Version Space Algorithm and its Application to Molecular Fragment Finding.

IJCAI 
2001 
163 
Feature Construction with Version Spaces for Biochemical Applications.

ICML 
2001 
110 
Molecular feature mining in HIV data.

KDD 
2001 
260 
Adaptive Bayesian Logic Programs.

ILP 
2001 
119 
Towards Combining Inductive Logic Programming with Bayesian Networks.

ILP 
2001 
158 
Relational Reinforcement Learning.

MLJ 
2001 
0 
A Logical Database Mining Query Language.

ILP 
2000 
26 
Instance Based Function Learning.

ILP 
1999 
9 
Scaling Up Inductive Logic Programming by Learning from Interpretations.

DMKD 
1999 
107 
Relational Learning and Inductive Logic Programming Made Easy Abstract of Tutorial.

ECML/PKDD 
1999 
8 
Generalizing Refinement Operators to Learn Prenex Conjunctive Normal Forms.

ILP 
1999 
15 
TopDown Induction of Clustering Trees.

ICML 
1998 
493 
Using ILPSystems for Verification and Validation of Multiagent Systems.

ILP 
1998 
8 
Relational Reinforcement Learning.

ICML 
1998 
27 
AttributeValue Learning Versus Inductive Logic Programming: The Missing Links (Extended Abstract).

ILP 
1998 
144 
Relational Reinforcement Learning.

ILP 
1998 
0 
TopDown Induction of FirstOrder Logical Decision Trees.

Artificial Intelligence 
1998 
0 
Using Logical Decision Trees for Clustering.

ILP 
1997 
64 
Clausal Discovery.

MLJ 
1997 
223 
Lookahead and Discretization in ILP.

ILP 
1997 
75 
ThetaSubsumption for Structural Matching.

ECML/PKDD 
1997 
7 
Mining Association Rules in Multiple Relations.

ILP 
1997 
243 
Logical Settings for ConceptLearning.

Artificial Intelligence 
1997 
178 
Forgetting and Compacting data in Concept Learning.

IJCAI 
1995 
3 
Declarative Bias for SpecifictoGeneral ILP Systems.

MLJ 
1995 
11 
Iterative Versionspaces.

Artificial Intelligence 
1994 
18 
FirstOrder jkClausal Theories are PACLearnable.

Artificial Intelligence 
1994 
188 
Multiple Predicate Learning.

IJCAI 
1993 
102 
A Theory of Clausal Discovery.

IJCAI 
1993 
163 
Inverse Resolution in an Integrated InductiveDeductive Learning System.

ECAI 
1992 
1 
Belief Updating from Integrity Constraints and Queries.

Artificial Intelligence 
1992 
42 
Interactive ConceptLearning and Constructive Induction by Analogy.

MLJ 
1992 
32 
On Negation and ThreeValued Logic in Interactive ConceptLearning.

ECAI 
1990 
29 
Explanation Based Program Transformation.

IJCAI 
1989 
19 
Towards Friendly ConceptLearners.

IJCAI 
1989 
37 