{"id":780,"date":"2012-11-28T01:55:46","date_gmt":"2012-11-28T01:55:46","guid":{"rendered":"https:\/\/www.arg.tech\/?p=780"},"modified":"2012-11-28T01:55:46","modified_gmt":"2012-11-28T01:55:46","slug":"ashwag-maghraby-visiting","status":"publish","type":"post","link":"https:\/\/www.arg.tech\/index.php\/ashwag-maghraby-visiting\/","title":{"rendered":"Ashwag Maghraby visiting"},"content":{"rendered":"<p>We are delighted to host a visit from <a href=\"http:\/\/homepages.inf.ed.ac.uk\/s0961321\/index.html\">Ashwag Maghraby<\/a> from the University of Edinburgh who will be visiting us Wednesday, 28 November, 2012 and will be delivering a seminar in Wolfson on,<\/p>\n<p><strong>Bridging the Specification Protocol Gap in Argumentation<\/strong><\/p>\n<p style=\"font-size:80%\"><strong>Abstract<\/strong>. Today,  argumentation is gaining greater visibility since it is being  used as  part of the high-level specification of multi-agent systems (MAS).  However, as we build complete MAS that involve argumentation,  there is a  need to produce concrete implementations in which these  abstract  specifications are realised via protocols coordinating agent  behaviour.  This creates a gap between standard argument specification and  deployment of protocols. This research attempts to close this gap by  using a combination of  automated synthesis and verification methods.  More precisely, this  research proposes a means to moving rapidly from  argument specification to protocol implementation, using the Argument  Interchange Format (AIF is a generic specification language for argument  structure) as the specification language and the Lightweight  Coordination Calculus (LCC is an executable specification language used  for coordinating agents in open systems) as an implementation language.  The resulting system provides engineers with a means of moving rapidly  from argument specification to implementation. In this presentation, I  will start with  a brief  introduction about   MAS as well  argumentation. Then I will explain, by using an example,  how the chosen  automated synthesis and verification methods were used to close the gap  between standard argument specification and deployment of protocols.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>We are delighted to host a visit from Ashwag Maghraby from the University of Edinburgh who will be visiting us Wednesday, 28 November, 2012 and will be delivering a seminar in Wolfson on, Bridging the Specification Protocol Gap in Argumentation Abstract. Today, argumentation is gaining greater visibility since it is being used as part of [&hellip;]<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4,12,13],"tags":[],"class_list":["post-780","post","type-post","status-publish","format-standard","hentry","category-events","category-talks","category-visitors"],"_links":{"self":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/posts\/780","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/comments?post=780"}],"version-history":[{"count":1,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/posts\/780\/revisions"}],"predecessor-version":[{"id":781,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/posts\/780\/revisions\/781"}],"wp:attachment":[{"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/media?parent=780"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/categories?post=780"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.arg.tech\/index.php\/wp-json\/wp\/v2\/tags?post=780"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}