Reasoning about epistemic states of agents by modal logic programming (2006)

by L A Nguyen
Venue:Proceedings of CLIMA VI, LNAI 3900