Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Regimantas Pliuskevicius, Aida Pliuskeviciene. Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. In Francesca Toni, Paolo Torroni, editors, Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Volume 3900 of Lecture Notes in Computer Science, pages 112-128, Springer, 2005. [doi]

This author has not been identified. Look up 'Regimantas Pliuskevicius' in GoogleThis author has not been identified. Look up 'Aida Pliuskeviciene' in Google

runs on WebDSL