{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T05:04:05Z","timestamp":1725858245613},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319403786"},{"type":"electronic","value":"9783319403793"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40379-3_8","type":"book-chapter","created":{"date-parts":[[2016,6,20]],"date-time":"2016-06-20T08:04:08Z","timestamp":1466409848000},"page":"75-86","source":"Crossref","is-referenced-by-count":7,"title":["Agent-Based Autonomous Systems and Abstraction Engines: Theory Meets Practice"],"prefix":"10.1007","author":[{"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan M.","family":"Aitken","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joe","family":"Collenette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisa","family":"Cucco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maryam","family":"Kamali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Owen","family":"McAree","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Affan","family":"Shaukat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katie","family":"Atkinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang\u00a0","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandor M.","family":"Veres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,21]]},"reference":[{"key":"8_CR1","unstructured":"Aitken, J.M., Shaukat, A., Cucco, E., Dennis, L.A., Veres, S.M., Gao, Y., Fisher, M., Kuo, J.A., Robinson, T., Mort, P.E.: Autonomous nuclear waste management. Robotics and Automation (2016, under Review)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Aitken, J.M., Veres, S.M., Judge, M.: Adaptation of system configuration under the robot operating system. In: Proceedings of the 19th world congress of the international federation of automatic control (IFAC) (2014)","DOI":"10.3182\/20140824-6-ZA-1003.02531"},{"issue":"4","key":"8_CR3","doi-asserted-by":"crossref","first-page":"397","DOI":"10.3233\/SW-2011-0053","volume":"3","author":"D Anicic","year":"2012","unstructured":"Anicic, D., Rudolph, S., Fodor, P., Stojanovic, N.: Stream reasoning and complex event processing in etalis. Semant. web 3(4), 397\u2013407 (2012)","journal-title":"Semant. web"},{"key":"8_CR4","volume-title":"Maximum LEGO NXT: Building Robots with Java Brains","author":"B Bagnall","year":"2013","unstructured":"Bagnall, B.: Maximum LEGO NXT: Building Robots with Java Brains. Variant Press, Winnipeg (2013)"},{"key":"8_CR5","volume-title":"Maximum LEGO EV3: Building Robots with Java Brains","author":"B Bagnall","year":"2014","unstructured":"Bagnall, B.: Maximum LEGO EV3: Building Robots with Java Brains. Variant Press, Winnipeg (2014)"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-319-19282-6_11","volume-title":"Coordination Models and Languages","author":"S Cranefield","year":"2015","unstructured":"Cranefield, S., Ranathunga, S.: Handling agent perception in heterogeneous distributed systems: a policy-based approach. In: Holvoet, T., Viroli, M. (eds.) Coordination Models and Languages. LNCS, vol. 9037, pp. 169\u2013185. Springer, Heidelberg (2015)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-642-20715-0_6","volume-title":"Declarative Agent Languages and Technologies VIII","author":"LA Dennis","year":"2011","unstructured":"Dennis, L.A., Fisher, M., Lincoln, N.K., Lisitsa, A., Veres, S.M.: Declarative abstractions for agent based hybrid control systems. In: Omicini, A., Sardina, S., Vasconcelos, W. (eds.) DALT 2010. LNCS, vol. 6619, pp. 96\u2013111. Springer, Heidelberg (2011)"},{"key":"8_CR8","unstructured":"Dennis, L.A., Farwer, B.: Gwendolen: a bdi language for verifiable agents. In: L\u00f6we, B. (ed.) Logic and the Simulation of Interaction and Reasoning. AISB, Aberdeen, AISB 2008 Workshop (2008)"},{"issue":"3","key":"8_CR9","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s13218-014-0308-1","volume":"28","author":"LA Dennis","year":"2014","unstructured":"Dennis, L.A., Fisher, M., Aitken, J.M., Veres, S.M., Gao, Y., Shaukat, A., Burroughes, G.: Reconfigurable autonomy. KI-K\u00fcnstliche Intelligenz 28(3), 199\u2013207 (2014)","journal-title":"KI-K\u00fcnstliche Intelligenz"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Dennis, L.A., Fisher, M., Lincoln, N.K., Lisitsa, A., Veres, S.M.: Practical verification of decision-making in agent-based autonomous systems. Autom. Softw. Eng., pp. 1\u201355 (2014)","DOI":"10.1007\/s10515-014-0168-9"},{"issue":"9","key":"8_CR11","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/2500468.2494558","volume":"56","author":"M Fisher","year":"2013","unstructured":"Fisher, M., Dennis, L.A., Webster, M.P.: Verifying autonomous systems. Commun. ACM 56(9), 84\u201393 (2013)","journal-title":"Commun. ACM"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Kamali, M., Dennis, L.A., McAree, O., Fisher, M., Veres, S.M.: Formal Verification of Autonomous Vehicle Platooning. ArXiv e-prints, February 2016. under Review","DOI":"10.1016\/j.scico.2017.05.006"},{"issue":"4","key":"8_CR13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MCI.2013.2279559","volume":"8","author":"NK Lincoln","year":"2013","unstructured":"Lincoln, N.K., Veres, S.M., Dennis, L.A., Fisher, M., Lisitsa, A.: Autonomous asteroid exploration by rational agents. IEEE Comput. Intell. Mag. 8(4), 25\u201338 (2013)","journal-title":"IEEE Comput. Intell. Mag."},{"issue":"1\u20132","key":"8_CR14","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0004-3702(98)00068-X","volume":"103","author":"N Muscettola","year":"1998","unstructured":"Muscettola, N., Nayak, P.P., Pell, B., Williams, B.C.: Remote agent: to boldly go where no ai system has gone before. Artif. Intell. 103(1\u20132), 5\u201347 (1998)","journal-title":"Artif. Intell."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Patchett, C., Ansell, D.: The development of an advanced autonomous integrated mission system for uninhabited air systems to meet uk airspace requirements. In: 2010 International Conference on Intelligent Systems, Modelling and Simulation (ISMS), pp. 60\u201364, January 2010","DOI":"10.1109\/ISMS.2010.22"},{"key":"8_CR16","unstructured":"Quigley, M., Conley, K., Gerkey, B.P., Faust, J., Foote, T., Leibs, J., Wheeler, R., Ng, A.Y.: ROS: an open-source robot operating system. In: Proceedings of the ICRA Workshop on Open Source Software (2009)"},{"issue":"1\u20132","key":"8_CR17","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1080\/08839514.2012.629559","volume":"26","author":"S Ranathunga","year":"2012","unstructured":"Ranathunga, S., Cranefield, S., Purvis, M.: Identifying events taking place in second life virtual environments. Appl. Artif. Intell. 26(1\u20132), 137\u2013181 (2012)","journal-title":"Appl. Artif. Intell."},{"key":"8_CR18","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 439\u2013449 (1992)"},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/j.robot.2015.09.005","volume":"75","author":"A Shaukat","year":"2016","unstructured":"Shaukat, A., Gao, Y., Kuo, J.A., Bowen, B.A., Mort, P.E.: Visual classification of waste material for nuclear decommissioning. Rob. Auton. Syst. 75, 365\u2013378 (2016). Part B","journal-title":"Rob. Auton. Syst."},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-642-38700-5_4","volume-title":"Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers","author":"C Wei","year":"2013","unstructured":"Wei, C., Hindriks, K.V.: An agent-based cognitive robot architecture. In: Dastani, M., H\u00fcbner, J.F., Logan, B. (eds.) Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers, pp. 54\u201371. Springer, Berlin Heidelberg, Berlin, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Towards Autonomous Robotic Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40379-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T16:45:47Z","timestamp":1600793147000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40379-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319403786","9783319403793"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40379-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}