| 2026 | AAAI | The Future Is Neuro-Symbolic: Where Has It Been, and Where Is It Going? | Vaishak Belle, Gary Marcus |
| 2025 | ACL | HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation. | Weizhi Tang, Yixuan Li, Chris Sypherd, Elizabeth Polgreen, Vaishak Belle |
| 2025 | ICAART | Abnormal Predicates: Learning Categorical Defaults from Probabilistic Rules. | Rose Azad Khan, Vaishak Belle |
| 2025 | ICAART | Semantic Objective Functions: A Distribution-Aware Method for Adding Logical Constraints in Deep Learning. | Miguel ngel Mndez Lucero, Enrique Bojorquez Gallardo, Vaishak Belle |
| 2025 | ICAART | Tractable Generative Modelling of Cosmological Numerical Simulations. | Amit Parag, Vaishak Belle |
| 2025 | ICAART | Towards Developing Ethical Reasoners: Integrating Probabilistic Reasoning and Decision-Making for Complex AI Systems. | Nijesh Upreti, Jessica Ciupa, Vaishak Belle |
| 2025 | JELIA | A Uniform Language for Safety, Robustness and Explainability. | Vaishak Belle, Pablo Barcel |
| 2025 | NeSy | Exploring Verification Frameworks for Social Choice Alignment. | Jessica Ciupa, Vaishak Belle, Ekaterina Komendantskaya |
| 2025 | NeSy | A Neurosymbolic Approach to Counterfactual Fairness. | Xenia Heilmann, Chiara Manganini, Mattia Cerrato, Vaishak Belle |
| 2024 | NeSy | Ethical Reward Machine. | Jessica Ciupa, Vaishak Belle |
| 2024 | NeSy | Can Large Language Models Put 2 and 2 Together? Probing for Entailed Arithmetical Relationships. | Dagmara Panas, Sohan Seth, Vaishak Belle |
| 2024 | NeSy | ToM-LM: Delegating Theory of Mind Reasoning to External Symbolic Executors in Large Language Models. | Weizhi Tang, Vaishak Belle |
| 2023 | ECAI | Verifying Belief-Based Programs via Symbolic Dynamic Programming. | Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer |
| 2023 | ECAI | Transparency in Sum-Product Network Decompilation. | Ioannis Papantonis, Vaishak Belle |
| 2023 | ICAART | Logic + Reinforcement Learning + Deep Learning: A Survey. | Andreas C. Bueff, Vaishak Belle |
| 2023 | ICAART | Model Transparency: Why Do We Care? | Ioannis Papantonis, Vaishak Belle |
| 2023 | JELIA | Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. | Vaishak Belle |
| 2023 | KR | Concerning Measures in a First-order Logic with Actions and Meta-beliefs. | Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer |
| 2023 | KR | Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures. | Paulius Dilkas, Vaishak Belle |
| 2022 | AAAI | MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks. | Nick Hoernle, Rafael-Michael Karampatsis, Vaishak Belle, Kobi Gal |
| 2022 | ICCS | Tractable Probabilistic Models for Ethical AI. | Vaishak Belle |
| 2021 | IJCAI | Learning Implicitly with Noisy Data in Linear Arithmetic. | Alexander Philipp Rader, Ionela G. Mocanu, Vaishak Belle, Brendan Juba |
| 2021 | PERCOM | Intent Recognition in Smart Homes with ProbLog. | Gary Smith, Ron P. A. Petrick, Vaishak Belle |
| 2021 | UAI | Weighted model counting with conditional weights for Bayesian networks. | Paulius Dilkas, Vaishak Belle |
| 2021 | UAI | Lifted reasoning meets weighted model integration. | Jonathan Feldstein, Vaishak Belle |
| 2021 | SAT | Weighted Model Counting Without Parameter Variables. | Paulius Dilkas, Vaishak Belle |
| 2020 | CP | Generating Random Logic Programs Using Constraint Programming. | Paulius Dilkas, Vaishak Belle |
| 2020 | ECAI | Logical Interpretations of Autoencoders. | Anton Fuxjaeger, Vaishak Belle |
| 2020 | ECAI | Polynomial-Time Implicit Learnability in SMT. | Ionela G. Mocanu, Vaishak Belle, Brendan Juba |
| 2020 | ICAART | Scaling up Probabilistic Inference in Linear and Non-linear Hybrid Domains by Leveraging Knowledge Compilation. | Anton Fuxjaeger, Vaishak Belle |
| 2019 | ILP | Learning Probabilistic Logic Programs over Continuous Data. | Stefanie Speichert, Vaishak Belle |
| 2018 | AAAI | Probabilistic Planning by Probabilistic Programming. | Vaishak Belle |
| 2018 | IJCAI | Efficient Symbolic Integration for Probabilistic Inference. | Samuel Kolb, Martin Mladenov, Scott Sanner, Vaishak Belle, Kristian Kersting |
| 2017 | AAAI | Open-Universe Weighted Model Counting. | Vaishak Belle |
| 2017 | AAAI | Open-Universe Weighted Model Counting: Extended Abstract. | Vaishak Belle |
| 2017 | AAAI | The Symbolic Interior Point Method. | Martin Mladenov, Vaishak Belle, Kristian Kersting |
| 2017 | IJCAI | Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds. | Vaishak Belle |
| 2017 | IJCAI | Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. | Vaishak Belle, Gerhard Lakemeyer |
| 2017 | IJCAI | Solving Probability Problems in Natural Language. | Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt |
| 2017 | UAI | Weighted Model Counting With Function Symbols. | Vaishak Belle |
| 2016 | AAAI | Satisfiability and Model Counting in Open Universes. | Vaishak Belle |
| 2016 | AAAI | Component Caching in Hybrid Domains with Piecewise Polynomial Densities. | Vaishak Belle, Guy Van den Broeck, Andrea Passerini |
| 2016 | AAAI | A First-Order Logic of Probability and Only Knowing in Unbounded Domains. | Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque |
| 2016 | IJCAI | Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report. | Vaishak Belle, Guy Van den Broeck, Andrea Passerini |
| 2016 | KR | Foundations for Generalized Planning in Unbounded Stochastic Domains. | Vaishak Belle, Hector J. Levesque |
| 2015 | AAAI | Planning Over Multi-Agent Epistemic States: A Classical Planning Approach. | Christian J. Muise, Vaishak Belle, Paolo Felli, Sheila A. McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg |
| 2015 | IJCAI | Multi-Agent Only Knowing on Planet Kripke. | Guillaume Aucher, Vaishak Belle |
| 2015 | IJCAI | Only Knowing Meets Common Knowledge. | Vaishak Belle, Gerhard Lakemeyer |
| 2015 | IJCAI | ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. | Vaishak Belle, Hector J. Levesque |
| 2015 | IJCAI | Probabilistic Inference in Hybrid Domains by Weighted Model Integration. | Vaishak Belle, Andrea Passerini, Guy Van den Broeck |
| 2015 | UAI | Hashing-Based Approximate Probabilistic Inference in Hybrid Domains. | Vaishak Belle, Guy Van den Broeck, Andrea Passerini |
| 2014 | AAAI | PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. | Vaishak Belle, Hector J. Levesque |
| 2014 | AAAI | Computing Contingent Plans via Fully Observable Non-Deterministic Planning. | Christian J. Muise, Vaishak Belle, Sheila A. McIlraith |
| 2014 | KR | How to Progress Beliefs in Continuous Domains. | Vaishak Belle, Hector J. Levesque |
| 2014 | KR | On the Progression of Knowledge in Multiagent Systems. | Vaishak Belle, Gerhard Lakemeyer |
| 2013 | IJCAI | Reasoning about Continuous Uncertainty in the Situation Calculus. | Vaishak Belle, Hector J. Levesque |
| 2013 | UAI | Reasoning about Probabilities in Dynamic Systems using Goal Regression. | Vaishak Belle, Hector J. Levesque |
| 2011 | AAAI | A Semantical Account of Progression in the Presence of Uncertainty. | Vaishak Belle, Gerhard Lakemeyer |
| 2011 | IJCAI | On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. | Vaishak Belle, Gerhard Lakemeyer |
| 2010 | AAAI | Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. | Vaishak Belle, Gerhard Lakemeyer |
| 2010 | KR | Multi-Agent Only-Knowing Revisited. | Vaishak Belle, Gerhard Lakemeyer |
| 2008 | ICPR | Randomized trees for real-time one-step face detection and recognition. | Vaishak Belle, Thomas Deselaers, Stefan Schiffer |