AI 2003: Advances in Artificial Intelligence

DOI10.1007/B94701zbMath1205.03029OpenAlexW2808694711MaRDI 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

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (1)

Contracting intuitionistic theories

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