purplecat: Hand Drawn picture of a Toy Cat (agents)
Which means I shall be going to toronto in May and is the first "proper" publication (i.e. where there was a chance we might get rejected) to come out of my current project - so I'm pleased about that too. It's for a workshop on Declarative Agent Languages and Technologies (DALT).

It's about designing a clear (declarative) abstraction layer to communicate between satellite control systems and our agent-based decision making system which I'm sure enlightens you all greatly.
purplecat: Hand Drawn picture of a Toy Cat (Default)
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).
purplecat: Hand Drawn picture of a Toy Cat (mcapl)
We are happy to inform you that your paper entitled

"Automated Verification of Multi-Agent Programs"

has been accepted as a FULL PAPER for ASE 2008. The acceptance rate for long
papers was 12% (34/280).


Really pleased about this (and not just the 12% bit). This was the major conference paper planned to come out of this project so its good its been accepted and bodes well for the journal paper on the material I'm probably going to spend the summer writing.
purplecat: Hand Drawn picture of a Toy Cat (agents)
Thank you very much for submitting a paper to ProMAS 2008.
We are pleased to let you know that your paper

ID: 113
Title: Programming Verifiable Heterogeneous Agent Systems

has been accepted.
purplecat: Hand Drawn picture of a Toy Cat (Default)
The TPHOLs deadline is the 22nd February, not the 22nd January
purplecat: Hand Drawn picture of a Toy Cat (agents)
We are delighted to inform you that your paper entitled "A Common Basis for Agent Organisation in BDI Languages",
submitted to EUMAS-2007, has been accepted for presentation at the workshop
(recall that the proceedings are only informally published).


This is actually a reheat of our LADS paper but M. assures A. and myself that EUMAS is intended for re-heats and work in progress and the presentations are supposed merely to form a basis for the exchange of ideas. This means that A. gets to go to Tunisia in six weeks' time. M. said I could go too but I felt two weeks before christmas was cutting things a bit fine.

"Isn't that where they filmed Star Wars?" I said. A. and M. looked at me blankly.
purplecat: Hand Drawn picture of a Toy Cat (agents)
Dear Author(s),

Thank you very much for submitting a paper to LADS'007. We are
delighted to let you know that your paper is accepted.


This is another groups are agents paper much like this one only this time without any actual logic in it and more of a literature survey with explanations for why everything else people have done fits into our framework. This was the first paper we wrote on the subject but it went so far over the page limit we were forced to write the CLIMA paper to cover the logical bits.
purplecat: Hand Drawn picture of a Toy Cat (agents)
"Dear Author(s),

Thank you very much for submitting a paper to CLIMA-VIII. We are
delighted to let you know that your paper is accepted..."


This has to be one of the easiest papers I've ever written. Michael is keen on the use of groups to form multi-agent systems. Key idea: an agent is a group and a group is an agent - all agents can contain and be contained by other agents. This lets groups of agents have plans and goals external to the agents that compose them. Anyway I wrote him some inference rules explaining how this might work in what is known as the operational semantics of a typical BDI (Beliefs, Desires, Intentions) programming language and then left for Hawaii. Sometime while I was away he and his PhD student fleshed it out with some text and an example in a language called AgentSpeak and Presto! one more publication. They even put me down as first author (which means I really should read the paper!!).

"As the authors admit, the whole idea would rather lack a concrete justification in the paper." - ah! the anonymous referees spotted that then!

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

June 2017

S M T W T F S
    123
45678 9 10
11 12 13 14 1516 17
18 19 20 21222324
252627282930 

Syndicate

RSS Atom

Tags

Style Credit

Expand Cut Tags

No cut tags