AI 2003: Advances in Artificial Intelligence

DOI10.1007/b94701zbMath1205.03029MaRDI QIDQ5191596

Samir Chopra, Johannes Heidema, Thomas Andreas Meyer

Publication date: 7 August 2009

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

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

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68T30: Knowledge representation

Related Items

Contracting intuitionistic theories