![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Entry tags:
Couple of Paper Acceptances while I was Away
It is our pleasure to inform you that your abstract entitled "Agent
Control of Cooperating Satellites" submitted to the AI in Space:
Intelligence beyond planet earth, has been accepted for an oral
presentation.
The exciting thing about this paper is that we only had to submit an abstract, but are now required to produce a full paper by the 1st July - I forsee much frantic scribbling in the next month or so. The paper describes the current case study we are working on which is the exploration of asteroid clusters using multiple satellites.
Thank you very much for submitting a paper to CLIMA XII. We are delighted to let
you know that your paper is accepted for presentation and inclusion in the
Springer LNAI Proceedings.
This paper is "A Formal Semantics for Brahms" and is really the baby of my PhD Student (using the phrase "my PhD Student" here to refer to someone for whom I'm tenuously 3rd supervisor in a vague "the university admin can't cope with RA's supervising PhD students" kind of way). I did do a little polishing on the paper so I'm not too embarrased by the author credit. Brahms is an agent programming language used by NASA to model human-robot interaction. We want to do some model checking (verification) of these models but that means we needed a semantics for the language first which said PhD student had been diligently working on for about a year now.
This entry was originally posted at http://purplecat.dreamwidth.org/41470.html.
Control of Cooperating Satellites" submitted to the AI in Space:
Intelligence beyond planet earth, has been accepted for an oral
presentation.
The exciting thing about this paper is that we only had to submit an abstract, but are now required to produce a full paper by the 1st July - I forsee much frantic scribbling in the next month or so. The paper describes the current case study we are working on which is the exploration of asteroid clusters using multiple satellites.
Thank you very much for submitting a paper to CLIMA XII. We are delighted to let
you know that your paper is accepted for presentation and inclusion in the
Springer LNAI Proceedings.
This paper is "A Formal Semantics for Brahms" and is really the baby of my PhD Student (using the phrase "my PhD Student" here to refer to someone for whom I'm tenuously 3rd supervisor in a vague "the university admin can't cope with RA's supervising PhD students" kind of way). I did do a little polishing on the paper so I'm not too embarrased by the author credit. Brahms is an agent programming language used by NASA to model human-robot interaction. We want to do some model checking (verification) of these models but that means we needed a semantics for the language first which said PhD student had been diligently working on for about a year now.
This entry was originally posted at http://purplecat.dreamwidth.org/41470.html.
no subject
no subject
no subject
I will definitely set a calendar reminder for this one!
no subject
no subject
I'll sit down and read it over at home tonight!
no subject
no subject
no subject
And I did a double-take at Brahms and wondered if you were branching out again from AI to film studies to music!
no subject
In fact both these papers are at satellite workshops to the big annual AI conference in Barcelona and I made some very firm noises to my co-authors about how inconvenient Barcelona in June would be (B was likely to be digging up dinosaurs in South Dakota and G would be on holiday - though the dinosaurs are looking less likely now because of permit problems). I think my boss is currently looking into the possibility of combining it all with a family summer holiday in Spain.
no subject
A holiday in Spain would be a very cunning plan.
no subject
Any update on what the new date for Skynet achieving consciousness yet? ;)
no subject
no subject
no subject