Paper Accepted: Model Checking Normative Agent Organisations

[purplecat]

Thank you very much for submitting a paper to CLIMA this year. We are pleased to inform you that your paper has been accepted for presentation at CLIMA-X.

I've got as far as skimming the actual referees comments through my fingers - doesn't sound like they are asking for too much. The most negative referee complains that we haven't explained our formulae properly, however all his/her questions about them are answered in the paper so it's presumably just a question of sprinkling footnotes around the formulae saying "see section X for an explanation of these letters".

For the uninitiated (so, umm, all of you!) CLIMA stands for Computational Logic in Multi-Agent Systems (I imagine you all feel greatly enlightened).

Comments

[kargicq.livejournal.com]

Well done! Is the conference anywhere nice?

[purplecat]

Hamburg apparently.