A Logic for Specifying Stochastic Actions and Observations

DOI10.1007/978-3-319-04939-7_15zbMath1407.68476OpenAlexW162457860MaRDI QIDQ5404962

Gerhard Lakemeyer, Gavin Rens, Thomas Andreas Meyer

Publication date: 31 March 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-04939-7_15

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

This page was built for publication: A Logic for Specifying Stochastic Actions and Observations