Vaishak Belle

From MaRDI portal
Person:310090



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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


Research outcomes over time


This page was built for person: Vaishak Belle