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
https://portal.mardi4nfdi.de/entity/Q5740436	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