cc-Golog - An Action Language with Continuous Change
From MaRDI portal
Publication:4408524
DOI10.1093/JIGPAL/11.2.179zbMath1037.68144OpenAlexW2096566299MaRDI QIDQ4408524
Gerhard Lakemeyer, Henrik Grosskreutz
Publication date: 2003
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/11.2.179
Related Items (2)
The situation calculus: a case for modal logic ⋮ Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
Uses Software
This page was built for publication: cc-Golog - An Action Language with Continuous Change