AI 2005: Advances in Artificial Intelligence

DOI10.1007/11589990zbMath1175.68440OpenAlexW2490192562MaRDI QIDQ5898072

Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge

Publication date: 14 November 2006

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

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: AI 2005: Advances in Artificial Intelligence