Model-Checking for Analysis of Information Leakage in Social Networks has been accepted into the post-proceedings volume of the conference it was given at. The acceptance is notable, in particular, for the referees' comments which amount in all cases to "have dealt with previous comments more than sufficiently, nothing more to do" which is good in ( Read more... )

We are pleased to inform you that your paper

"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks

has been accepted for presentation at COIN@ECAI.
Matryoshka, the Boss, and I cooked up the idea for this paper while at Dagstuhl based, more or less, on the fact that I was going to be going to ECAI (European ( Read more... )

We are pleased to confirm that your paper:

Agent-based Autonomous Systems and Abstraction Engines: Theory meets Practice

has been accepted as a full paper at TAROS 2016, the 17th Towards Autonomous Robotic Systems conference.
This paper is more a set of system descriptions covering work on autonomous robot arms (done as part of the Reconfigurable ( Read more... )

From an email received by Matryoshka who has been masterminding everything:

I am pleased to confirm that your paper "Formal Verification of Ethical Choices in Autonomous Systems" has been accepted for publication in Robotics and Autonomous Systems.

This was originally a journal special issue version of our 2013 TAROS paper: Ethical Choice in ( Read more... )

A slightly delayed announcement because the referee's comments required a lot of work, but this will be in AAMAS 2015 (Autonomous Agents and Multi-agent systems). It's a follow up to our 2013 paper Agent Reasoning for Norm Compliance: A Semantic Approach. Once again Birna took the lead, but I helped with a lot of the proofs and we did most of the ( Read more... )

I am pleased to inform you that your paper:

Towards Verifiably Ethical Robot Behaviour:

Has been accepted to be presented as a talk at the AAAI-15 workshop
on AI and Ethics.

We had a large number of submissions and the acceptance rate was
under 40%.
Nicely high level comments in the review as well which should be fairly easy to incorporate ( Read more... )

we are pleased to inform you that your manuscript:

Two-Stage Agent Program Verification

has been accepted to the CLIMA XIV Special Issue on the Journal of Logic and Computation, subject to minor revision.

This is an updated version of Using Agent JPF to Build Models for Other Model Checkers and I'm really pleased its been accepted for the ( Read more... )

We have received the reports from our advisors on your manuscript, "A Formal Basis for Digital Crowds", which you submitted to Distributed and Parallel Databases.

Based on the advice received, the Editor feels that your manuscript could be accepted for publication should you be prepared to incorporate minor revisions.As one of my co-authors notes ( Read more... )

I am pleased to inform you that your paper

Title: Actions with Durations and Failures in BDI Languages

has been accepted for poster presentation at ECAI'14 and a two-page publication
in its proceedings. I actually received this notification a while back but I was sulking about the "two-page publication" part, wrestling with the childcare issues ( Read more... )

We have received the reports from our advisors on your manuscript, "Practical Verification of Decision-Making in Agent-Based Autonomous Systems", which you submitted to Automated Software Engineering.

Based on the advice received, your manuscript could be accepted for publication should you be prepared to incorporate minor revisions.This paper ( Read more... )