| Publication | Date of Publication | Type |
|---|
| A uniform language for safety, robustness and explainability | 2025-12-15 | Paper |
A propositional encoding for first-order clausal entailment over infinitely many constants
Journal of Symbolic Computation | 2025-04-01 | Paper |
Toward a logical theory of fairness and bias
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Learnability with PAC semantics for multi-agent beliefs
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
| 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
Synthesis Lectures on Artificial Intelligence and Machine Learning | 2023-07-03 | Paper |
Epistemic planning: perspectives on the special issue
Artificial Intelligence | 2023-06-19 | Paper |
Logic, Probability and Action: A Situation Calculus Perspective
1517.68351 | 2022-12-22 | Paper |
Symbolic Logic Meets Machine Learning: A Brief Survey in Infinite Domains
1517.6835 | 2022-12-22 | Paper |
Learning probabilistic logic programs over continuous data
Inductive Logic Programming | 2022-10-14 | Paper |
Analyzing generalized planning under nondeterminism
Artificial Intelligence | 2022-04-11 | Paper |
| Weighted model counting without parameter variables | 2022-03-22 | Paper |
Efficient multi-agent epistemic planning: teaching planners about nested belief
Artificial Intelligence | 2021-12-13 | Paper |
Semiring programming: a semantic framework for generalized sum product problems
International Journal of Approximate Reasoning | 2020-10-22 | Paper |
Semiring programming: a semantic framework for generalized sum product problems
International Journal of Approximate Reasoning | 2020-10-22 | Paper |
Regression and progression in stochastic domains
Artificial Intelligence | 2020-03-04 | Paper |
A correctness result for synthesizing plans with loops in stochastic domains
International Journal of Approximate Reasoning | 2020-02-27 | Paper |
Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
Artificial Intelligence | 2019-01-18 | Paper |
Planning in hybrid relational MDPs
Machine Learning | 2018-02-26 | Paper |
A logical theory of localization
Studia Logica | 2016-09-07 | Paper |
Multi-agent only-knowing
(available as arXiv preprint) | 2016-07-26 | Paper |
Robot location estimation in the situation calculus
Journal of Applied Logic | 2015-12-23 | Paper |
Semantical considerations on multiagent only knowing
Artificial Intelligence | 2015-11-18 | Paper |
Multiagent only knowing in dynamic systems
Journal of Artificial Intelligence Research | 2014-03-24 | Paper |
