{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:18:54Z","timestamp":1742941134988,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642384561"},{"type":"electronic","value":"9783642384578"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38457-8_32","type":"book-chapter","created":{"date-parts":[[2013,5,6]],"date-time":"2013-05-06T20:57:34Z","timestamp":1367873854000},"page":"315-322","source":"Crossref","is-referenced-by-count":1,"title":["An Application of Answer Set Programming for Situational Analysis in a Maritime Traffic Domain"],"prefix":"10.1007","author":[{"given":"Zahra","family":"Vaseqi","sequence":"first","affiliation":[]},{"given":"James","family":"Delgrande","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Endsley, M.: Toward a Theory of Situation Awareness in Dynamic Systems. Human Factors: The Journal of the Human Factors and Ergonomics Society\u00a037(1) (1995)","DOI":"10.1518\/001872095779049543"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Lambert, D.A.: STDF Model based Maritime Situation Assessments. In: 2007 10th International Conference on Information Fusion. IEEE (2007)","DOI":"10.1109\/ICIF.2007.4408055"},{"key":"32_CR3","unstructured":"Vaseqi, Z.: A Prototype Implementation for Situation Analysis using ASP and CoreASM. Master\u2019s thesis, Simon Fraser University (2012)"},{"key":"32_CR4","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Proceedings of the 5th International Conference on Logic programming, vol.\u00a0161 (1988)"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-642-20895-9_7","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M. Gebser","year":"2011","unstructured":"Gebser, M., Grote, T., Kaminski, R., Schaub, T.: Reactive Answer Set Programming. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 54\u201366. Springer, Heidelberg (2011)"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental asp solver. In: Logic Programming (2008)","DOI":"10.1007\/978-3-540-89982-2_23"},{"key":"32_CR7","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A Users Guide to gringo, clasp, clingo, and iclingo. University of Potsdam. Tech. Rep. (2008)"},{"key":"32_CR8","unstructured":"Farahbod, R.: CoreASM: An Extensible Modeling Framework & Tool Environment for High-level Design and Analysis of Distributed Systems. PhD thesis, Simon Fraser University (2009)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38457-8_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:44:29Z","timestamp":1558302269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38457-8_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642384561","9783642384578"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38457-8_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}