{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:08:47Z","timestamp":1729674527717,"version":"3.28.0"},"reference-count":42,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/cec.2011.5949861","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T20:51:24Z","timestamp":1311195084000},"page":"2002-2009","source":"Crossref","is-referenced-by-count":1,"title":["An abstract representation model for evolutionary analysis of multi-agent interactions"],"prefix":"10.1109","author":[{"given":"Arash","family":"Shaban-Nejad","sequence":"first","affiliation":[]},{"given":"Volker","family":"Haarslev","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"366","article-title":"Refactoring browser for UML","author":"boger","year":"2002","journal-title":"In Proc of NetObjectDays'02 LNCS 2591"},{"key":"ref38","first-page":"219","article-title":"On the use of graph transformations for model refactoring","author":"mens","year":"2005","journal-title":"In Proc of GTTSE'05 LNCS 4143"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30203-2_30"},{"key":"ref32","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","article-title":"Graph processes","volume":"26","author":"corradini","year":"1996","journal-title":"Fund Inform"},{"key":"ref31","first-page":"1","article-title":"Graph transformation with time","volume":"58","author":"gyapay","year":"2003","journal-title":"Fundam Inform"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00040-0"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1002\/smr.316"},{"key":"ref36","first-page":"134","article-title":"Refactoring UML models","author":"suny\u00e9","year":"2001","journal-title":"The Unified Modeling Language Modeling Languages Concepts and Tools"},{"key":"ref35","first-page":"553","article-title":"Spatial and temporal refinement of typed graph transformation systems","author":"gro?e-rhode","year":"1998","journal-title":"Proc of MFCS'98 LNCS 1450"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1017\/S0960129500070110","article-title":"Horizontal and vertical structuring of typed graph transformation systems","volume":"6","author":"heckel","year":"1996","journal-title":"Mathematical Structures in Computer Science"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860659"},{"key":"ref40","first-page":"79","article-title":"A note on modeling agent systems by graph transformation","author":"knirsch","year":"1999","journal-title":"Proceedings AGTIVE '99 LNCS 1779"},{"journal-title":"Nebraska Symposium on Motivation","year":"1981","author":"anderson","key":"ref11"},{"key":"ref12","article-title":"Reasoning about compositions of concerns","author":"chechik","year":"2001","journal-title":"The Workshop on Advanced Separation of Concerns in Software Engineering at ICSE"},{"key":"ref13","article-title":"Fundamentals of algebraic graph transformation","author":"ehrig","year":"2006","journal-title":"Monographs in Theoretical Computer Science An EATCS Series"},{"key":"ref14","first-page":"24","article-title":"Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts","author":"ehrig","year":"1990","journal-title":"Proc of the 4th International Workshop on Graph Grammars and Their Applications to Computer Science"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60084-1_105"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.015"},{"key":"ref17","article-title":"On categorical and logical modeling in multiagent systems","author":"pfalzgraf","year":"2005","journal-title":"proc Of InterSymp-2004"},{"key":"ref18","first-page":"213","article-title":"On logical fiberings and automated deduction in many-valued logics using gröbner bases","volume":"98","author":"pfalzgraf","year":"2005","journal-title":"RACSAM Rev Real Acad Ciencias Ser A Mat"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044451541-4\/50021-X"},{"journal-title":"UML Basics The Sequence Diagram","year":"0","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16696-9_49"},{"journal-title":"UML 2 Object Diagrams","year":"0","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78582-8_53"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2007.109"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s11135-004-1048-3"},{"article-title":"Categories, types, and structures: an introduction to category theory for the working computer scientist","year":"1991","author":"asperti","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-7868-4_6"},{"key":"ref7","first-page":"136","article-title":"Specifying agent interaction protocols with standard UML","author":"lind","year":"2001","journal-title":"Proc of AOSE'01 LNCS 2222"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.04.001"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.020"},{"key":"ref1","article-title":"Towards a theory of AI completeness","author":"shahaf","year":"2007","journal-title":"Proc of 8th Int'l Sympo on Logical Formalizations of Commonsense Reasoning (Commonsense'07) in AAAI Spring Sympo"},{"article-title":"The uses of argument","year":"1958","author":"toulmin","key":"ref20"},{"key":"ref22","first-page":"5","article-title":"Secification and implementation of Toulmin dialogue game","author":"bench-capon","year":"1998","journal-title":"Proc of Legal Knowledge-Based Systems JURIX The 11th Conference"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213004001922"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1973.11"},{"key":"ref24","article-title":"The base diagram of a multiagent system: a categorical model of the general communication structure","volume":"ii","author":"pfalzgraf","year":"0","journal-title":"proc Intersymp2007"},{"key":"ref41","first-page":"105","article-title":"Agent-oriented modeling with graph transformation","author":"depke","year":"1957","journal-title":"In Proc of AOSE'00 LNCS"},{"key":"ref23","first-page":"2","article-title":"A method for the computational modelling of dialectical argument with dialogue games","author":"bench-capon","year":"2000","journal-title":"Artificial Intelligence and Law"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2001.1790"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010071910869"}],"event":{"name":"2011 IEEE Congress on Evolutionary Computation (CEC)","start":{"date-parts":[[2011,6,5]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2011,6,8]]}},"container-title":["2011 IEEE Congress of Evolutionary Computation (CEC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5936494\/5949581\/05949861.pdf?arnumber=5949861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,21]],"date-time":"2020-06-21T13:12:35Z","timestamp":1592745155000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5949861\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/cec.2011.5949861","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}