Vaishak Belle

Papers

Learning Credal Sum-Product Networks.

AKBC, 2020.

A. Levray and V. Belle.

Abstracting Probabilistic Models: Relations, Constraints and Beyond.

Knowledge-based Systems, 2020.

V. Belle.

Regression and Progression in Stochastic Domains.

Artificial Intelligence, 2020.

V. Belle and H. Levesque.

Logical Interpretations of Autoencoders.

ECAI, 2020.

A. Fuxjaeger and V. Belle.

Polynomial-time Implicit Learnability in SMT.

ECAI, 2020.

I. Mocanu, V. Belle and B. Juba.

A Correctness Result for Synthesizing Plans With Loops in Stochastic Domains.

International Journal of Approximate Reasoning, 2020.

L. Treszkai and V. Belle.

Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation.

ICAART, 2020.

A. Fuxjaeger and V. Belle.

Fairness in Machine Learning with Tractable Models.

AAAI Workshop: Statistical Relational Artificial Intelligence, 2020.

M. Varley and V. Belle.

Abstracting Probabilistic Models: A Logical Perspective.

AAAI Workshop: Statistical Relational Artificial Intelligence, 2020.

V. Belle.

SMT + ILP.

AAAI Workshop: Statistical Relational Artificial Intelligence, 2020.

V. Belle.

Semiring Programming: A Declarative Framework for Generalized Sum Product Problems.

AAAI Workshop: Statistical Relational Artificial Intelligence, 2020.

V. Belle and L. De Raedt.

Scaling up Probabilistic Inference in Linear and Non-Linear Hybrid Domains by Leveraging Knowledge Compilation.

AAAI Workshop: Statistical Relational Artificial Intelligence, 2020.

A. Fuxjaeger and V. Belle.

Implicitly Learning to Reason in First-Order Logic.

NeurIPS, 2019.

V. Belle and B. Juba.

The quest for interpretable and responsible artificial intelligence.

The Biochemist, 2019.

V. Belle.

Logical Interpretations of Autoencoders.

NeurIPS Workshop on Knowledge Representation & Reasoning Meets Machine Learning, 2019.

A. Fuxjaeger and V. Belle.

Tractable Probabilistic Models for Moral Responsibility.

NeurIPS Workshop on Knowledge Representation & Reasoning Meets Machine Learning, 2019.

L. Hammond and V. Belle.

PAC + SMT.

NeurIPS Workshop on Knowledge Representation & Reasoning Meets Machine Learning, 2019.

I. Mocanu, V. Belle and B. Juba.

Interventions and Counterfactuals in Tractable Probabilistic Models.

NeurIPS Workshop on Knowledge Representation & Reasoning Meets Machine Learning, 2019.

I. Papantonis and V. Belle.

Implicitly Learning to Reason in First-Order Logic.

Fourth International Workshop on Declarative Learning Based Programming (DeLBP 2019), 2019.

V. Belle and B. Juba.

Learning Probabilistic Logic Programs in Continuous Domains.

ILP, 2019.

S. Speichert and V. Belle.

Best student paper award

Toward Fairness, Morality and Transparency in Artificial Intelligence through Experiential AI.

Leonardo, 2019.

D. Hemment, V. Belle, R. Aylett, D. Murray-Rust, L. Pschetz and F. Broz.

Deep Tractable Probabilistic Models for Moral Responsibility.

Human-Like Computing Third Wave of AI Workshop, 2019.

L. Hammond and V. Belle.

Experiential AI.

AI Matters, 5(1):25-31, 2019.

D. Hemment, R. Aylett, V. Belle, D. Murray-Rust, E. Luger, J. Hillston, M. Rovatsos and F. Broz.

Learning Symbolic Representations in Mixed Discrete-Continuous Domains.

Human-Like Computing Third Wave of AI Workshop, 2019.

S. Speichert, A. Bueff and V. Belle.

On Plans With Loops and Noise.

AAMAS, 2018.

V. Belle.

Probabilistic Planning by Probabilistic Programming.

AAAI Workshop on Planning and Inference, 2018.

V. Belle.

Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems.

Artificial Intelligence, 262:189 - 221, 2018.

V. Belle and H. Levesque.

Tractable Querying and Learning in Hybrid Domains via Sum-Product Networks.

Workshop on Hybrid Reasoning, Workshop Learning (HRL 2018), KR, 2018.

A. Bueff, S. Speichert and V. Belle.

Efficient Symbolic Integration for Probabilistic Inference.

IJCAI, 2018.

S. Kolb, M. Mladenov, S. Sanner, V. Belle and K. Kersting.

Planning in hybrid relational MDPs.

ICAPS (Journal Track), 2018.

D. Nitti, V. Belle, T. De Laet and L. De Raedt.

Learning Probabilistic Logic Programs in Continuous Domains.

Workshop on Hybrid Reasoning, Workshop Learning (HRL 2018), KR, 2018.

S. Speichert and V. Belle.

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds.

IJCAI, 2017.

V. Belle.

Weighted Model Counting With Function Symbols.

UAI, 2017.

V. Belle.

Open-Universe Weighted Model Counting.

AAAI, 2017.

V. Belle.

Open-Universe Weighted Model Counting: Extended Abstract.

AAAI Workshop: Symbolic Inference and Optimization, 2017.

V. Belle.

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains.

IJCAI, 2017.

V. Belle and G. Lakemeyer.

Solving Probability Problems in Natural Language.

IJCAI, 2017.

A. Dries, A. Kimmig, J. Davis, V. Belle and L. De Raedt.

Solving Probability Problems in Natural Language.

ILP, 2017.

A. Dries, A. Kimmig, J. Davis, V. Belle and L. De Raedt.

The Symbolic Interior Point Method.

AAAI, 2017.

M. Mladenov, V. Belle and K. Kersting.

Planning in hybrid relational MDPs.

Machine Learning:1-28, 2017.

D. Nitti, V. Belle, T. De Laet and L. De Raedt.

A First-Order Logic of Probability and Only Knowing in Unbounded Domains.

AAAI, 2016.

V. Belle, G. Lakemeyer and H. Levesque.

Action-Centric Probabilistic Programming.

StarAI Workshop at IJCAI, 2016.

V. Belle.

Component Caching in Hybrid Domains with Piecewise Polynomial Densities.

AAAI, 2016.

V. Belle, G. Van den Broeck and A. Passerini.

Foundations for Generalized Planning in Unbounded Stochastic Domains.

KR, 2016.

V. Belle and H. Levesque.

Hashing-based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report.

IJCAI, 2016.

V. Belle, G. Van den Broeck and A. Passerini.

Satisfiability and Model Counting in Open Universes.

Beyond NP Workshop, AAAI, 2016.

V. Belle.

Multi-Agent Only Knowing on Planet Kripke.

IJCAI, 2015.

G. Aucher and V. Belle.

Only Knowing Meets Common Knowledge.

IJCAI, 2015.

V. Belle and G. Lakemeyer.

Probabilistic Inference in Hybrid Domains by Weighted Model Integration.

IJCAI, 2015.

V. Belle, A. Passerini and G. Van den Broeck.

ALLEGRO: Belief-based Programming in Stochastic Dynamical Domains.

IJCAI, 2015.

V. Belle and H. J. Levesque.

Probabilistic Inference in Hybrid Domains by Weighted Model Integration.

Workshop on Hybrid Reasoning, IJCAI, 2015.

V. Belle, A. Passerini and G. Van den Broeck.

A Logical Theory of Localization.

Studia Logica:1-32, 2015.

V. Belle and H. Levesque.

Hashing-based Approximate Probabilistic Inference in Hybrid Domains.

UAI, 2015.

V. Belle, G. Van den Broeck and A. Passerini.

Best paper award

Robot location estimation in the situation calculus.

Journal of Applied Logic, 13:397-413, 2015.

V. Belle and H. Levesque.

Semantical Considerations on Multiagent Only Knowing.

Artificial Intelligence, 223:1-26, 2015.

V. Belle and G. Lakemeyer.

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach.

AAAI, 2015.

C. Muise, V. Belle, P. Felli, S. A. McIlraith, T. Miller, A. R. Pearce and L. Sonenberg.

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach (Amended Version).

Workshop on Distributed and Multi-Agent Planning, ICAPS, 2015.

C. Muise, V. Belle, P. Felli, S. A. McIlraith, T. Miller, A. R. Pearce and L. Sonenberg.

Planning in Discrete and Continuous Markov Decision Processes by Probabilistic Programming.

European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2015.

D. Nitti, V. Belle and L. De Raedt.

Machine learning journal best student paper award.

Sample-based abstraction for hybrid relational MDPs.

European Workshop on Reinforcement Learning, ICML, 2015.

Davide Nitti, V. Belle, T. De Laet and Luc De Raedt.

A Logical Theory of Robot Localization.

AAMAS, 2014.

V. Belle and H. J. Levesque.

A Logical Theory of Robot Localization.

AAAI Spring Symposium: Knowledge Representation and Reasoning in Robotics, 2014.

V. Belle and H. J. Levesque.

PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains.

Cognitive Robotics Workshop, 2014.

V. Belle and H. J. Levesque.

How to Progress Beliefs in Continuous Domains.

KR, 2014.

V. Belle and H. J. Levesque.

Multiagent Only Knowing in Dynamic Systems.

Journal of Artificial Intelligence Research, 49:363-402, 2014.

V. Belle and G. Lakemeyer.

On the Progression of Knowledge in Multiagent Systems.

KR, 2014.

V. Belle and G. Lakemeyer.

On the Projection Problem in Active Knowledge Bases with Incomplete Information.

AI Matters, 1(2):14-16, 2014.

V. Belle.

PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains.

AAAI, 2014.

V. Belle and H. J. Levesque.

Review of programming with higher-order logic by Dale Miller and Gopalan Nadathur.

SIGACT News, 45(2):32-35, 2014.

V. Belle.

Nondeterministic Planning with Conditional Effects.

ICAPS, 2014.

C. Muise, S. McIlraith and V. Belle.

Computing Contingent Plans via Fully Observable Non-Deterministic Planning.

ICAPS Workshop: Models and Paradigms for Planning under Uncertainty, 2014.

C. J. Muise, S. A. McIlraith and V. Belle.

Computing Contingent Plans via Fully Observable Non-Deterministic Planning.

AAAI, 2014.

C. J. Muise, S. A. McIlraith and V. Belle.

A Formal Model of Belief under Continuous Uncertainty.

Non-Classical Logics, 2013.

V. Belle and H. J. Levesque.

Probabilistic State Estimation in the Situation Calculus.

IJCAI Workshop: Weighted Logics for Artificial Intelligence, 2013.

V. Belle and H. J. Levesque.

Reasoning about Continuous Uncertainty in the Situation Calculus.

IJCAI, 2013.

V. Belle and H. J. Levesque.

Reasoning about Motion Kinematics with Continuous Uncertainty in the Situation Calculus.

IJCAI Workshop: Nonmonotonic Reasoning, Action and Change, 2013.

V. Belle and H. J. Levesque.

Reasoning about Probabilities in Dynamic Systems using Goal Regression.

UAI, 2013.

V. Belle and H. J. Levesque.

Robot Location Estimation in the Situation Calculus.

ICAPS Workshop: Planning and Robotics, 2013.

V. Belle and H. J. Levesque.

Robot Location Estimation in the Situation Calculus.

Symposium on Logical Formalizations of Commonsense Reasoning, 2013.

V. Belle and H. J. Levesque.

On the Projection Problem in Active Knowledge Bases with Incomplete Information.

PhD thesis, Dept. of Computer Science, RWTH Aachen University, 2012.

V. Belle.

A Semantical Account of Progression in the Presence of Uncertainty.

AAAI, 2011.

V. Belle and G. Lakemeyer.

Multi-Agent Only-Knowing.

Knowing, Reasoning, and Acting: Essays in Honour of H. J. Levesque. College Publications, 2011.

V. Belle and G. Lakemeyer.

On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols.

IJCAI, 2011.

V. Belle and G. Lakemeyer.

Review of from zero to infinity: what makes numbers interesting by Constance Reid.

SIGACT News, 42(2), 2011.

V. Belle.

Multi-Agent Only-Knowing Revisited.

KR, 2010.

V. Belle and G. Lakemeyer.

Multi-Agent Only-Knowing Revisited.

AlgoSyn, 2010.

V. Belle.

Reasoning about Imperfect Information Games in the Epistemic Situation Calculus.

AAAI, 2010.

V. Belle and G. Lakemeyer.

Detection and Recognition of Human Faces using Random Forests for a Mobile Robot.

Master’s thesis, Dept. of Computer Science, RWTH Aachen University, 2008.

V. Belle.

Randomized trees for real-time one-step face detection and recognition.

ICPR, 2008.

V. Belle, T. Deselaers and S. Schiffer.