cc-Golog - An Action Language with Continuous Change

DOI10.1093/JIGPAL/11.2.179MaRDI QIDQ4408524zbMATH OpenOpenAlexFDO

Authors Henrik Grosskreutz, Gerhard Lakemeyer

Publication date 2003

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/11.2.179

zbMATH Keywords

High-level robot controllers

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40)

Recommendations

• GOLOG: A logic programming language for dynamic domains
• Incremental execution of guarded theories
• Applications of action languages in cognitive robotics
• Verifying CTL\(^\ast\) properties of \textsc{Golog} programs over local-effect actions
• scientific article; zbMATH DE number 1882053

Cited in

(6)

• Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
• scientific article; zbMATH DE number 1629871 (Why is no real title available?)
• Applications of action languages in cognitive robotics
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 1882053 (Why is no real title available?)
• The situation calculus: a case for modal logic

Describes a project that uses

Uses Software

• ConGolog

This page was built for publication: cc-Golog - An Action Language with Continuous Change

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4408524)