Belle, Vaishak

34 publications

TMLR 2025 Unreasonable Effectiveness of LLM Reasoning: A Doubly Cautionary Tale of Temporal Question-Answering Dagmara Panas, Ali Payani, Vaishak Belle

MLJ 2024 Learning Explanatory Logical Rules in Non-Linear Domains: A Neuro-Symbolic Approach Andreas C. Bueff, Vaishak Belle

MLJ 2024 Principled Diverse Counterfactuals in Multilinear Models Ioannis Papantonis, Vaishak Belle

AAAI 2022 MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks Nick Hoernle, Rafael-Michael Karampatsis, Vaishak Belle, Kobi Gal

IJCAI 2021 Learning Implicitly with Noisy Data in Linear Arithmetic Alexander Philipp Rader, Ionela G. Mocanu, Vaishak Belle, Brendan Juba

UAI 2021 Lifted Reasoning Meets Weighted Model Integration Jonathan Feldstein, Vaishak Belle

UAI 2021 Weighted Model Counting with Conditional Weights for Bayesian Networks Paulius Dilkas, Vaishak Belle

NeurIPS 2019 Implicitly Learning to Reason in First-Order Logic Vaishak Belle, Brendan Juba

IJCAI 2018 Efficient Symbolic Integration for Probabilistic Inference Samuel Kolb, Martin Mladenov, Scott Sanner, Vaishak Belle, Kristian Kersting

IJCAI 2017 Logic Meets Probability: Towards Explainable AI Systems for Uncertain Worlds Vaishak Belle

AAAI 2017 Open-Universe Weighted Model Counting Vaishak Belle

MLJ 2017 Planning in Hybrid Relational MDPs Davide Nitti, Vaishak Belle, Tinne De Laet, Luc De Raedt

IJCAI 2017 Reasoning About Probabilities in Unbounded First-Order Dynamical Domains Vaishak Belle, Gerhard Lakemeyer

IJCAI 2017 Solving Probability Problems in Natural Language Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle, Luc De Raedt

AAAI 2017 The Symbolic Interior Point Method Martin Mladenov, Vaishak Belle, Kristian Kersting

UAI 2017 Weighted Model Counting with Function Symbols Vaishak Belle

AAAI 2016 A First-Order Logic of Probability and Only Knowing in Unbounded Domains Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque

AAAI 2016 Component Caching in Hybrid Domains with Piecewise Polynomial Densities Vaishak Belle, Guy Van den Broeck, Andrea Passerini

IJCAI 2016 Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report Vaishak Belle, Guy Van den Broeck, Andrea Passerini

IJCAI 2015 ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains Vaishak Belle, Hector J. Levesque

UAI 2015 Hashing-Based Approximate Probabilistic Inference in Hybrid Domains Vaishak Belle, Guy Van den Broeck, Andrea Passerini

IJCAI 2015 Multi-Agent Only Knowing on Planet Kripke Guillaume Aucher, Vaishak Belle

IJCAI 2015 Only Knowing Meets Common Knowledge Vaishak Belle, Gerhard Lakemeyer

ECML-PKDD 2015 Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming Davide Nitti, Vaishak Belle, Luc De Raedt

AAAI 2015 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

IJCAI 2015 Probabilistic Inference in Hybrid Domains by Weighted Model Integration Vaishak Belle, Andrea Passerini, Guy Van den Broeck

AAAI 2014 Computing Contingent Plans via Fully Observable Non-Deterministic Planning Christian J. Muise, Vaishak Belle, Sheila A. McIlraith

JAIR 2014 Multiagent Only Knowing in Dynamic Systems Vaishak Belle, Gerhard Lakemeyer

AAAI 2014 PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains Vaishak Belle, Hector J. Levesque

IJCAI 2013 Reasoning About Continuous Uncertainty in the Situation Calculus Vaishak Belle, Hector J. Levesque

UAI 2013 Reasoning About Probabilities in Dynamic Systems Using Goal Regression Vaishak Belle, Hector J. Levesque

AAAI 2011 A Semantical Account of Progression in the Presence of Uncertainty Vaishak Belle, Gerhard Lakemeyer

IJCAI 2011 On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols Vaishak Belle, Gerhard Lakemeyer

AAAI 2010 Reasoning About Imperfect Information Games in the Epistemic Situation Calculus Vaishak Belle, Gerhard Lakemeyer