![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Paper Accepted: Model Checking Normative Agent Organisations
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).
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).