{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:01:06Z","timestamp":1725552066189},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540265511"},{"type":"electronic","value":"9783540318934"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11504894_117","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T12:17:40Z","timestamp":1270815460000},"page":"848-850","source":"Crossref","is-referenced-by-count":2,"title":["A Meta-level Architecture for Strategic Reasoning in Naval Planning"],"prefix":"10.1007","author":[{"given":"Mark","family":"Hoogendoorn","sequence":"first","affiliation":[]},{"given":"Catholijn M.","family":"Jonker","sequence":"additional","affiliation":[]},{"given":"Peter-Paul","family":"van Maanen","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Treur","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"117_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0004-3702(80)90043-0","volume":"15","author":"R. Davis","year":"1980","unstructured":"Davis, R.: Metarules: reasoning about control. Artificial Intelligence\u00a015, 179\u2013222 (1980)","journal-title":"Artificial Intelligence"},{"key":"117_CR2","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1002\/int.10139","volume":"18","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W., Meyer, J.-J.C., Treur, J.: Formal Semantics of Meta-Level Architectures: Temporal Epistemic Reflection. International Journal of Intelligent Systems\u00a018, 1293\u20131318 (2003)","journal-title":"International Journal of Intelligent Systems"},{"key":"117_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"R.W. Weyhrauch","year":"1980","unstructured":"Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artificial Intelligence\u00a013, 133\u2013170 (1980)","journal-title":"Artificial Intelligence"},{"key":"117_CR4","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/0004-3702(84)90053-5","volume":"22","author":"D.E. Wilkins","year":"1984","unstructured":"Wilkins, D.E.: Domain-independent planning Representation and plan generation. Artificial Intelligence\u00a022, 269\u2013301 (1984)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Innovations in Applied Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11504894_117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T10:38:06Z","timestamp":1552473486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11504894_117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540265511","9783540318934"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/11504894_117","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}