Vaishak Belle

Available identifiers

Publication	Date of Publication	Type
Excursions in first-order logic and probability: infinitely many random variables, continuous distributions, recursive programs and beyond	2024-05-29	Paper
Toward Robots That Reason: Logic, Probability & Causal Laws	2023-07-03	Paper
Epistemic planning: perspectives on the special issue	2023-06-19	Paper
Logic, Probability and Action: A Situation Calculus Perspective	2022-12-22	Paper
Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains	2022-12-22	Paper
Learning probabilistic logic programs over continuous data	2022-10-14	Paper
Analyzing generalized planning under nondeterminism	2022-04-11	Paper
Weighted model counting without parameter variables	2022-03-22	Paper
Efficient multi-agent epistemic planning: teaching planners about nested belief	2021-12-13	Paper
Semiring programming: a semantic framework for generalized sum product problems	2020-10-22	Paper
Regression and progression in stochastic domains	2020-03-04	Paper
A correctness result for synthesizing plans with loops in stochastic domains	2020-02-27	Paper
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems	2019-01-18	Paper
Planning in hybrid relational MDPs	2018-02-26	Paper
A logical theory of localization	2016-09-07	Paper
Multi-agent only-knowing	2016-07-26	Paper
Robot location estimation in the situation calculus	2015-12-23	Paper
Semantical considerations on multiagent only knowing	2015-11-18	Paper
Multiagent only knowing in dynamic systems	2014-03-24	Paper

This page was built for person: Vaishak Belle