Vaishak Belle
Scholar

Vaishak Belle

Google Scholar ID: iQNOnjEAAAAJ
University of Edinburgh
Artificial IntelligenceMachine LearningKnowledge RepresentationLogic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,206
 
H-index
19
 
i10-index
46
 
Publications
20
 
Co-authors
31
list available
Contact
LinkedInOpen ↗
Publications
14 items
Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs
2026
Cited
0
Integrating LTL Constraints into PPO for Safe Reinforcement Learning
2026
Cited
0
Logic Tensor Network-Enhanced Generative Adversarial Network
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
Electronic Proceedings in Theoretical Computer Science · 2026
Cited
0
Satisfiability Modulo Theory Meets Inductive Logic Programming
2025
Cited
0
Lyria: A General LLM-Driven Genetic Algorithm Framework for Problem Solving
2025
Cited
0
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
2025
Cited
0
Incorporating Token Usage into Prompting Strategy Evaluation
2025
Cited
0
Resume (English only)
Co-authors
31 total
Gerhard Lakemeyer
Gerhard Lakemeyer
Professor of Computer Science, RWTH Aachen University
Christian Muise
Christian Muise
Queen's University
Sheila McIlraith
Sheila McIlraith
Professor of Computer Science, University of Toronto
Luc De Raedt
Luc De Raedt
professor, KU Leuven & guestprofessor, Örebro University
Guy Van den Broeck
Guy Van den Broeck
Professor and Samueli Fellow, UCLA
Andrea Passerini
Andrea Passerini
Professor, University of Trento
Co-author 7
Co-author 7
Co-author 8
Co-author 8