{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:51:57Z","timestamp":1750308717524,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,23]],"date-time":"2012-10-23T00:00:00Z","timestamp":1350950400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1018172"],"award-info":[{"award-number":["1018172"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,23]]},"DOI":"10.1145\/2401603.2401662","type":"proceedings-article","created":{"date-parts":[[2012,11,27]],"date-time":"2012-11-27T14:28:59Z","timestamp":1354026539000},"page":"263-268","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Agent spaces"],"prefix":"10.1145","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[{"name":"University of North Texas, Denton, Texas"}]},{"given":"Arun","family":"Majumdar","sequence":"additional","affiliation":[{"name":"Vivomind Research LLC., Rockville, Maryland"}]},{"given":"Paulo","family":"Moura","sequence":"additional","affiliation":[{"name":"University of Beira Interior & CRACS, INESC--TEC, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2012,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"ACTORS: A Model of Concurrent Computation in Distributed Systems","author":"Agha G.","year":"1986","unstructured":"G. Agha . ACTORS: A Model of Concurrent Computation in Distributed Systems . The MIT Press : Cambridge, MA , 1986 . G. Agha. ACTORS: A Model of Concurrent Computation in Distributed Systems. The MIT Press: Cambridge, MA, 1986."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.413.0350"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/11678823","volume-title":"A survey of programming languages and platforms for multi-agent systems","author":"Bordini R. H.","year":"2006","unstructured":"R. H. Bordini , L. Braubach , M. Dastani , A. E. F. Seghrouchni , J. J. Gomez-Sanz , J. Leite , G. O'Hare , A. Pokahr , and A. Ricci . A survey of programming languages and platforms for multi-agent systems , 2006 . The Slovene Society Informatika , Ljubljana, Slovenia . R. H. Bordini, L. Braubach, M. Dastani, A. E. F. Seghrouchni, J. J. Gomez-Sanz, J. Leite, G. O'Hare, A. Pokahr, and A. Ricci. A survey of programming languages and platforms for multi-agent systems, 2006. The Slovene Society Informatika, Ljubljana, Slovenia."},{"key":"e_1_3_2_1_4_1","first-page":"320","volume-title":"ICLP","author":"Carro M.","year":"1999","unstructured":"M. Carro and M. V. Hermenegildo . Concurrency in Prolog Using Threads and a Shared Database . In ICLP , pages 320 -- 334 , 1999 . M. Carro and M. V. Hermenegildo. Concurrency in Prolog Using Threads and a Shared Database. In ICLP, pages 320--334, 1999."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010091302035"},{"key":"e_1_3_2_1_6_1","volume-title":"Oct.","author":"FIPA.","year":"1997","unstructured":"FIPA. FIPA 97 specification part 2: Agent communication language , Oct. 1997 . Version 2.0. FIPA. FIPA 97 specification part 2: Agent communication language, Oct. 1997. Version 2.0."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/800222.806735"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/12069.12071"},{"key":"e_1_3_2_1_9_1","volume-title":"In Proc. of the JICSLP'92 Post-Conference Joint Workshop on Distributed and Parallel Implementations of Logic Programming Systems, Washington DC. MIT Press","author":"Lusk E.","year":"1993","unstructured":"E. Lusk , S. Mudambi , E. Gmbh , and R. Overbeek . Applications of the Aurora Parallel Prolog System to Computational Molecular Biology . In In Proc. of the JICSLP'92 Post-Conference Joint Workshop on Distributed and Parallel Implementations of Logic Programming Systems, Washington DC. MIT Press , 1993 . E. Lusk, S. Mudambi, E. Gmbh, and R. Overbeek. Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. In In Proc. of the JICSLP'92 Post-Conference Joint Workshop on Distributed and Parallel Implementations of Logic Programming Systems, Washington DC. MIT Press, 1993."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"J.\n      Mayfield Y.\n      Labrou and \n      T. W.\n      Finin\n  . \n  Evaluation of KQML as an Agent Communication Language\n  . In M. Wooldridge J. P. M\u00fcller and M. Tambe editors ATAL volume \n  1037\n   of \n  Lecture Notes in Computer Science pages \n  347\n  --\n  360\n  . \n  Springer 1995\n  .  J. Mayfield Y. Labrou and T. W. Finin. Evaluation of KQML as an Agent Communication Language. In M. Wooldridge J. P. M\u00fcller and M. Tambe editors ATAL volume 1037 of Lecture Notes in Computer Science pages 347--360. Springer 1995.","DOI":"10.1007\/3540608052_77"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.06.012"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v40:4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/WI-IAT.2010.136"},{"key":"e_1_3_2_1_14_1","first-page":"385","volume-title":"Proceedings of JELIA '98, LNAI 1489","author":"Tarau P.","year":"1998","unstructured":"P. Tarau . Towards Inference and Computation Mobility: The Jinni Experiment . In J. Dix and U. Furbach, editors, Proceedings of JELIA '98, LNAI 1489 , pages 385 -- 390 , Dagstuhl, Germany, Oct . 1998 . Springer . invited talk. P. Tarau. Towards Inference and Computation Mobility: The Jinni Experiment. In J. Dix and U. Furbach, editors, Proceedings of JELIA '98, LNAI 1489, pages 385--390, Dagstuhl, Germany, Oct. 1998. Springer. invited talk."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-642-60085-2_2","volume-title":"The Logic Programming Paradigm: a 25 Year-Perspective","author":"Tarau P.","year":"1999","unstructured":"P. Tarau . Inference and Computation Mobility with Jinni . In K. Apt, V. Marek, and M. Truszczynski, editors, The Logic Programming Paradigm: a 25 Year-Perspective , pages 33 -- 48 , Berlin Heidelberg, 1999 . Springer . ISBN 3-540-65463-1. P. Tarau. Inference and Computation Mobility with Jinni. In K. Apt, V. Marek, and M. Truszczynski, editors, The Logic Programming Paradigm: a 25 Year-Perspective, pages 33--48, Berlin Heidelberg, 1999. Springer. ISBN 3-540-65463-1."},{"key":"e_1_3_2_1_16_1","first-page":"109","volume-title":"Proceedings of The Fourth International Conference on The Practical Application of Intelligent Agents and Multi-Agents","author":"Tarau P.","year":"1999","unstructured":"P. Tarau . Intelligent Mobile Agent Programming at the Intersection of Java and Prolog . In Proceedings of The Fourth International Conference on The Practical Application of Intelligent Agents and Multi-Agents , pages 109 -- 123 , London, U. K. , 1999 . P. Tarau. Intelligent Mobile Agent Programming at the Intersection of Java and Prolog. In Proceedings of The Fourth International Conference on The Practical Application of Intelligent Agents and Multi-Agents, pages 109--123, London, U. K., 1999."},{"key":"e_1_3_2_1_17_1","volume-title":"Computational Logic--CL 2000: First International Conference","author":"Tarau P.","year":"2000","unstructured":"P. Tarau . Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects . In J. Lloyd, editor, Computational Logic--CL 2000: First International Conference , London, UK , July 2000 . LNCS 1861, Springer-Verlag . P. Tarau. Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects. In J. Lloyd, editor, Computational Logic--CL 2000: First International Conference, London, UK, July 2000. LNCS 1861, Springer-Verlag."},{"key":"e_1_3_2_1_18_1","first-page":"477","volume-title":"ICLP 2004","author":"Tarau P.","year":"2004","unstructured":"P. Tarau . Agent Oriented Logic Programming Constructs in Jinni 2004. In B. Demoen and V. Lifschitz, editors, Logic Programming, 20-th International Conference , ICLP 2004 , pages 477 -- 478 , Saint-Malo, France , Sept. 2004 . Springer, LNCS 3132. P. Tarau. Agent Oriented Logic Programming Constructs in Jinni 2004. In B. Demoen and V. Lifschitz, editors, Logic Programming, 20-th International Conference, ICLP 2004, pages 477--478, Saint-Malo, France, Sept. 2004. Springer, LNCS 3132."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926364"},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/978-3-642-21464-6_11","volume-title":"W. D. Meuter and G.-C","author":"Tarau P.","year":"2011","unstructured":"P. Tarau . Coordination and Concurrency in Multi-engine Prolog . In W. D. Meuter and G.-C . Roman, editors, COORDINATION, volume 6721 of Lecture Notes in Computer Science , pages 157 -- 171 , Berlin Heidelberg, June 2011 . Springer . P. Tarau. Coordination and Concurrency in Multi-engine Prolog. In W. D. Meuter and G.-C. Roman, editors, COORDINATION, volume 6721 of Lecture Notes in Computer Science, pages 157--171, Berlin Heidelberg, June 2011. Springer."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92995-6_10"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2006.04.005"}],"event":{"name":"RACS '12: Research in Applied Computation Symposium","sponsor":["ACCT Association of Convergent Computing Technology","SIGAPP ACM Special Interest Group on Applied Computing"],"location":"San Antonio Texas","acronym":"RACS '12"},"container-title":["Proceedings of the 2012 ACM Research in Applied Computation Symposium"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2401603.2401662","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2401603.2401662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:27Z","timestamp":1750277667000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2401603.2401662"}},"subtitle":["a scalable architecture for distributed logic agents"],"short-title":[],"issued":{"date-parts":[[2012,10,23]]},"references-count":22,"alternative-id":["10.1145\/2401603.2401662","10.1145\/2401603"],"URL":"https:\/\/doi.org\/10.1145\/2401603.2401662","relation":{},"subject":[],"published":{"date-parts":[[2012,10,23]]},"assertion":[{"value":"2012-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}