Probabilistic situation calculus
From MaRDI portal
Publication:2349808
DOI10.1023/A:1016738205696zbMath1314.68299OpenAlexW152120648MaRDI QIDQ2349808
Javier Pinto, António Pacheco, Cristina Sernadas, Amílcar Sernadas, Paulo Mateus
Publication date: 17 June 2015
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016738205696
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (5)
A logical theory of localization ⋮ Robot location estimation in the situation calculus ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems ⋮ Probabilistic reasoning about epistemic action narratives ⋮ A probabilistic interval-based event calculus for activity recognition
Uses Software
This page was built for publication: Probabilistic situation calculus
