A theory and implementation of cognitive mobile robots

DOI10.1093/LOGCOM/9.5.759MaRDI QIDQ4934814zbMATH OpenOpenAlexWikidataFDO

Authors Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati

Publication date 13 February 2002

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/796cf72b58d756f863c905531f87007e20303969

zbMATH Keywords

cognitive roboticsdescription logics

Mathematics Subject Classification ID

Knowledge representation (68T30) Artificial intelligence for robotics (68T40)

Recommendations

• A logical theory of localization
• scientific article; zbMATH DE number 5669819
• Formal theories of knowledge in AI and robotics
• Reasoning About Actions Using Description Logics with General TBoxes
• Reasoning about action and change. A dynamic logic approach

Cited in

(8)

• Formal theories of knowledge in AI and robotics
• A logical theory of localization
• scientific article; zbMATH DE number 1947503 (Why is no real title available?)
• scientific article; zbMATH DE number 2063028 (Why is no real title available?)
• A weighted causal theory for acquiring and utilizing open knowledge
• Scrutable robot actions using a hierarchical ontological model
• A description logic based situation calculus
• Towards an expressive practical logical action theory

This page was built for publication: A theory and implementation of cognitive mobile robots

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