{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T20:10:00Z","timestamp":1742933400685,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642322167"},{"type":"electronic","value":"9783642322174"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32217-4_13","type":"book-chapter","created":{"date-parts":[[2012,9,5]],"date-time":"2012-09-05T15:47:16Z","timestamp":1346860036000},"page":"119-128","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Development of a Real-Time Decision-Making System for Certifiable Autonomous Unmanned Systems"],"prefix":"10.1007","author":[{"given":"Jens","family":"Halbig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Windisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Kingsbury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert","family":"Oswald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfram","family":"Hardt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,9,6]]},"reference":[{"key":"13_CR1","unstructured":"Aeronautical Radio Inc.: ARINC 653 Specification: Avionics Application Software Standard Interface, Part 1: Required Services (2005)"},{"key":"13_CR2","unstructured":"Aeronautical Radio Inc.: ARINC 653 Specification: Avionics Application Software Standard Interface, Part 2: Extended Services (2006)"},{"key":"13_CR3","unstructured":"AUTOSAR: Layered Software Architecture\u2013Document Identification Number: 053, Version: 3.2.0, Part of Release: 4.0, Sept. 2011"},{"key":"13_CR4","unstructured":"CLIPS: C Language Integrated Production System, Accessed Sept. 2011"},{"key":"13_CR5","unstructured":"Friedman-Hill, E.: JESS, the Rule Engine for the Java\u2122 Platform. Accessed Sept. 2011"},{"key":"13_CR6","unstructured":"Filho, C.F.: JEOPS\u2013The Java Embedded Object Production System. Accessed Sept. 2011"},{"key":"13_CR7","unstructured":"Forgy, C.L.: On the efficient implementation of production systems. Ph.D. Thesis, Carnegie-Mellon University (1979)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"CL Forgy","year":"1982","unstructured":"Forgy, C.L.: Rete: a fast algorithm for the many pattern\/many object pattern match problem. Artif. lntell. 19(1), 17\u201337 (1982)","journal-title":"Artif. lntell."},{"key":"13_CR9","volume-title":"Expert Systems: Principles and Programming","author":"JC Giarratano","year":"2005","unstructured":"Giarratano, J.C., et al.: Expert Systems: Principles and Programming. Thomson Course Technology, Cambridge (2005)"},{"key":"13_CR10","unstructured":"IBM. WebSphere ILOG JRules. Accessed Sept. 2011"},{"key":"13_CR11","unstructured":"JBoss.org. Drools5\u2013The Business Logic Integration Platform. Accessed Sept. 2011"},{"key":"13_CR12","unstructured":"Luger, G.F.: Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 5th edn. Addison Wesley, Reading (2004)"},{"key":"13_CR13","unstructured":"Miranker, D.P.: TREAT: a new and efficient match algorithm for AI production systems. Ph.D. Thesis, New York (1987)"}],"container-title":["Informatik aktuell","Autonomous Mobile Systems 2012"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32217-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T06:59:20Z","timestamp":1674111560000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-32217-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642322167","9783642322174"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32217-4_13","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"6 September 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}