Computer Aided Systems Theory – EUROCAST 2005

DOI10.1007/11556985zbMath1142.68531OpenAlexW2494556639MaRDI QIDQ5394457

Johann Edtmayr

Publication date: 1 November 2006

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

Full work available at URL: https://doi.org/10.1007/11556985

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Artificial intelligence for robotics (68T40)

Uses Software

• MEDLAR

This page was built for publication: Computer Aided Systems Theory – EUROCAST 2005