Luc De Raedt
- SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
2023/08/24 by Rishi Hazra, Pedro Zuidberg Dos Martires, Hazra, Rishi +3 · 24 citations
Computer Science · #Topic Modeling #Natural Language Processing Techniques #AI-based Problem Solving and Planning
- Safe Reinforcement Learning via Probabilistic Logic Shields
2023/03/06 by Wen-Chi Yang, Giuseppe Marra, Yang, Wen-Chi +5 · 10 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning (cs.LG) #Safety Systems Engineering in Autonomy
- Inference in Probabilistic Logic Programs using Weighted CNF's
2012/02/14 by Daan Fierens, Fierens, Daan, Guy Van den Broeck +7 · 6 citations
Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
2025/04/04 by Rishi Hazra, Hazra, Rishi, Gabriele Venturato +5 · 2 voices · 7 citations
Computer Science · Social Sciences · #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #Computational and Text Analysis Methods #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CC #cs.LG
- DeepStochLog: Neural Stochastic Logic Programming
2021/06/23 by Thomas Winters, Winters, Thomas, Giuseppe Marra +5 · 6 citations
Computer Science · #68T07 #68T27 #68T37 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.3 #I.2.5 #I.2.6 #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #Natural Language Processing Techniques #Topic Modeling
- Bayesian Logic Programs
2001/11/23 by Kristian Kersting, Luc De Raedt, Kersting, Kristian +1 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #F.3.2 #F.4.1 #FOS: Computer and information sciences #G.3 #I.2 #I.2.3 #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.LO
- Learning MAX-SAT from Contextual Examples for Combinatorial Optimisation
2022/02/08 by Mahesh Kumar, Kumar, Mohit, Samuel Kolb +5 · 3 citations
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Natural Language Processing Techniques
- DeepProbLog: Neural Probabilistic Logic Programming
2018/05/28 by Robin Manhaeve, Sebastijan Dumančić, Manhaeve, Robin +7 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Topic Modeling
- Can Large Language Models Reason? A Characterization via 3-SAT
2024/08/13 by Rishi Hazra, Gabriele Venturato, Hazra, Rishi +5 · 5 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
- Top-down induction of clustering trees
2000/11/21 by Hendrik Blockeel, Luc De Raedt, Jan Ramon · 1 citation
Computer Science · #cs.LG
- Relational Neurosymbolic Markov Models
2024/12/17 by Lennert De Smet, De Smet, Lennert, Gabriele Venturato +5 · 1 voice · 2 citations
Computer Science · Neuroscience · Psychology · #Functional Brain Connectivity Studies #Mental Health Research Topics #Neural dynamics and brain function #cs.AI #cs.LG
- Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
2023/02/21 by Pedro Zuidberg Dos Martires, Luc De Raedt, Martires, Pedro Zuidberg Dos +3 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
- Neural Probabilistic Logic Programming in Discrete-Continuous Domains
2023/03/08 by Lennert De Smet, De Smet, Lennert, Pedro Zuidberg Dos Martires +9 · 3 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #D.3.1 #FOS: Computer and information sciences #I.2.4 #I.2.6 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Semantic Web and Ontologies #Symbolic Computation (cs.SC)
- EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
2024/08/15 by Victor Verreet, Lennert De Smet, Verreet, Victor +5 · 2 citations
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural Networks and Applications #Semantic Web and Ontologies
- smProbLog: Stable Model Semantics in ProbLog for Probabilistic Argumentation
2023/04/03 by Pietro Totis, Angelika Kimmig, Totis, Pietro +3 · 1 citation
Computer Science · #68-06 #68T30 #Artificial Intelligence (cs.AI) #D.1.6 #D.3.1 #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- NeSyA: Neurosymbolic Automata
2024/12/10 by Nikolaos Manginas, George Paliouras, Manginas, Nikolaos +3 · 3 citations
Biochemistry, Genetics and Molecular Biology · Engineering · Neuroscience · #Advanced Memory and Neural Computing #Artificial Intelligence (cs.AI) #DNA and Biological Computing #EEG and Brain-Computer Interfaces #FOS: Computer and information sciences #Machine Learning (cs.LG)
- Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
2024/10/17 by Pedro Zuidberg Dos Martires, Vincent Derkinderen, Martires, Pedro Zuidberg Dos +5 · 1 citation
Biochemistry, Genetics and Molecular Biology · #Biomedical Text Mining and Ontologies #Computational Engineering #FOS: Computer and information sciences #Finance #and Science (cs.CE)