{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:41:46Z","timestamp":1729611706041,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/rivf.2009.5174624","type":"proceedings-article","created":{"date-parts":[[2009,7,29]],"date-time":"2009-07-29T15:33:46Z","timestamp":1248881626000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Applying Type Theory to Formal Specification of Recursive Multiagent Systems"],"prefix":"10.1109","author":[{"given":"Thi Thanh Ha","family":"Hoang","sequence":"first","affiliation":[]},{"given":"Michel","family":"Occello","sequence":"additional","affiliation":[]},{"given":"Thanh Binh","family":"Nguyen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"82","article-title":"multi-agent-systems based on coloured petri nets","author":"moldt","year":"1997","journal-title":"Lecture Notes in Computer Science 18th International Conference on Application and Theory of Petri Nets"},{"key":"17","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-44539-0_9","article-title":"formal specification and prototyping of multi-agent systems","author":"hilaire","year":"2000","journal-title":"ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World"},{"key":"18","first-page":"307","article-title":"a recursive model for distributed planning","author":"el","year":"1996","journal-title":"Proceedings of the 2nd International Conference on Multi-Agent Systems ICMAS-96"},{"key":"15","first-page":"49","article-title":"from agent theory to agent construction: a case study","volume":"1193","author":"luck","year":"1997","journal-title":"Intelligent Agents III (LNAI Volume 1193"},{"key":"16","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-44539-0_9","article-title":"formal specification and prototyping of multi-agent systems","volume":"1972","author":"hilaire","year":"2000","journal-title":"Engineering Societies in the Agents World"},{"key":"13","first-page":"649","article-title":"mirage: a generic model to build recursive multiagent systems","author":"occello","year":"2000","journal-title":"International Conference on Artificial Intelligence"},{"journal-title":"Fonctionnalie? Emergente Dans une Socie?Te","year":"1998","author":"baeijs","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/AVSS.2006.58"},{"key":"12","article-title":"vers une approche de description et de conception recursive en univers multi-agents","author":"occello","year":"1997","journal-title":"4 e?mes Journe?es Francophones IAD-SMA"},{"key":"21","first-page":"473","article-title":"modeling rational agents within a bdi-architecture","author":"rao","year":"1991","journal-title":"Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning"},{"key":"20","first-page":"25","article-title":"formal specification of multi-agent systems: a real-world case","author":"brazier","year":"1995","journal-title":"Int Conf Multi-Agent Systems ICMAS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61313-7_108"},{"key":"23","article-title":"the polyadic -calculus: a tutorial","author":"milner","year":"1991","journal-title":"Logic and Algebra of Specification Tech Rep"},{"key":"24","article-title":"using the pi-calculus to model multiagent systems","author":"esterline","year":"2000","journal-title":"Formal Approaches to Agent-Based Systems First International Workshop"},{"key":"25","article-title":"the formulae-as-types notion of construction","author":"howard","year":"1980","journal-title":"Essays on Combinatory Logic Lambda Calculus and Formalism"},{"journal-title":"Type theory and functional programming","year":"1991","author":"thompson","key":"26"},{"key":"27","first-page":"29","article-title":"functional programs as executable specifications","author":"turner","year":"1985","journal-title":"Proc of a Discussion Meeting of the Royal Society of London on Mathematical Logic and Programming Languages"},{"key":"28","first-page":"1225","article-title":"the application of agents in automated map generalisation","author":"lamy","year":"1999","journal-title":"19th Confrence de l'Association de Cartographie Internationale -ICA'99"},{"journal-title":"Programming in Martin-Lf's Type Theory","year":"1990","author":"nordstrom","key":"29"},{"key":"3","first-page":"27","article-title":"intelligent agents","author":"wooldridge","year":"2000","journal-title":"Multiagent Systems A Modern Approach to Distributed Artificial Intelligence"},{"journal-title":"Multi-Agent Systems","year":"1999","author":"ferber","key":"2"},{"key":"10","article-title":"from cognitive interactions to collective behaviour in agent-based systems","author":"demazeau","year":"1995","journal-title":"1st European Conference on Cognitive Science"},{"key":"1","article-title":"is it an agent, or just a program?: a taxonomy for autonomous agents","volume":"1193","author":"franklin","year":"1996","journal-title":"Intelligent Agents III Agent Theories Architectures and Languages"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69407-6_39"},{"journal-title":"MESSAGE Methodology for Engineering Systems of Software Agents Initial Methodology","year":"2001","author":"caire","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICMAS.1998.699041"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010071910869"},{"key":"4","article-title":"populations and organizations in open multi-agent systems","author":"demazeau","year":"1996","journal-title":"Proceedings of the I National Symposium on Parallel and Distributed AI (PDAI'96)"},{"journal-title":"The Ghost in the Machine","year":"1967","author":"koestler","key":"9"},{"journal-title":"Anemona a multi-agent methodology for holonic manufacturing systems","year":"2008","author":"botti","key":"8"}],"event":{"name":"2009 IEEE-RIVF International Conference on Computing and Communication Technologies","start":{"date-parts":[[2009,7,13]]},"location":"Danang City, Viet Nam","end":{"date-parts":[[2009,7,17]]}},"container-title":["2009 IEEE-RIVF International Conference on Computing and Communication Technologies"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5174598\/5174599\/05174624.pdf?arnumber=5174624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T19:24:48Z","timestamp":1558466688000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5174624\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/rivf.2009.5174624","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}