Alert button
Picture for Luc De Raedt

Luc De Raedt

Alert button

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge

Aug 24, 2023
Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt

Viaarxiv icon

Deep Explainable Relational Reinforcement Learning: A Neuro-Symbolic Approach

Apr 17, 2023
Rishi Hazra, Luc De Raedt

Figure 1 for Deep Explainable Relational Reinforcement Learning: A Neuro-Symbolic Approach
Figure 2 for Deep Explainable Relational Reinforcement Learning: A Neuro-Symbolic Approach
Figure 3 for Deep Explainable Relational Reinforcement Learning: A Neuro-Symbolic Approach
Figure 4 for Deep Explainable Relational Reinforcement Learning: A Neuro-Symbolic Approach
Viaarxiv icon

smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation

Apr 17, 2023
Pietro Totis, Angelika Kimmig, Luc De Raedt

Figure 1 for smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Figure 2 for smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Figure 3 for smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Figure 4 for smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
Viaarxiv icon

Neural Probabilistic Logic Programming in Discrete-Continuous Domains

Mar 14, 2023
Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Raedt

Figure 1 for Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Figure 2 for Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Figure 3 for Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Figure 4 for Neural Probabilistic Logic Programming in Discrete-Continuous Domains
Viaarxiv icon

Safe Reinforcement Learning via Probabilistic Logic Shields

Mar 06, 2023
Wen-Chi Yang, Giuseppe Marra, Gavin Rens, Luc De Raedt

Figure 1 for Safe Reinforcement Learning via Probabilistic Logic Shields
Figure 2 for Safe Reinforcement Learning via Probabilistic Logic Shields
Figure 3 for Safe Reinforcement Learning via Probabilistic Logic Shields
Figure 4 for Safe Reinforcement Learning via Probabilistic Logic Shields
Viaarxiv icon

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains

Feb 21, 2023
Pedro Zuidberg Dos Martires, Luc De Raedt, Angelika Kimmig

Figure 1 for Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
Figure 2 for Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
Figure 3 for Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
Viaarxiv icon

Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains

Nov 07, 2022
Gavin Rens, Wen-Chi Yang, Jean-François Raskin, Luc De Raedt

Figure 1 for Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Figure 2 for Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Figure 3 for Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Figure 4 for Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains
Viaarxiv icon

Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation

Feb 08, 2022
Mohit Kumar, Samuel Kolb, Stefano Teso, Luc De Raedt

Figure 1 for Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation
Figure 2 for Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation
Viaarxiv icon

First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs

Jan 26, 2022
Nitesh Kumar, Ondrej Kuzelka, Luc De Raedt

Figure 1 for First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Figure 2 for First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Figure 3 for First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Figure 4 for First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs
Viaarxiv icon