{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:57:35Z","timestamp":1725533855300},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642027154"},{"type":"electronic","value":"9783642027161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02716-1_7","type":"book-chapter","created":{"date-parts":[[2009,6,30]],"date-time":"2009-06-30T04:22:21Z","timestamp":1246335741000},"page":"77-92","source":"Crossref","is-referenced-by-count":34,"title":["A Novel Architecture for Situation Awareness Systems"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Bauer","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Baumgartner","sequence":"additional","affiliation":[]},{"given":"Anne","family":"Cregan","sequence":"additional","affiliation":[]},{"given":"Alfredo","family":"Gabaldon","sequence":"additional","affiliation":[]},{"given":"Krystian","family":"Ji","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Lee","sequence":"additional","affiliation":[]},{"given":"David","family":"Rajaratnam","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Schwitter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)","key":"7_CR1"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-540-73595-3_36","volume-title":"Automated Deduction \u2013 CADE-21","author":"P. Baumgartner","year":"2007","unstructured":"Baumgartner, P., Furbach, U., Pelzer, B.: Hyper tableaux with equality. In: Pfenning, F. (ed.) CADE 2007. LNCS, vol.\u00a04603, pp. 492\u2013507. Springer, Heidelberg (2007)"},{"key":"7_CR3","volume-title":"Procs. KR 2008","author":"F. Baader","year":"2008","unstructured":"Baader, F., Ghilardi, S., Lutz, C.: LTL over description logic axioms. In: Brewka, G., Lang, J. (eds.) Procs. KR 2008. AAAI Press, Menlo Park (2008)"},{"issue":"2","key":"7_CR4","first-page":"122","volume":"1","author":"E. Blasch","year":"2006","unstructured":"Blasch, E., Kadar, I., Salerno, J., Kokar, M.M., Das, S., Powell, G.M., Corkill, D.D., Ruspini, E.H.: Issues and challenges in situation assessment (level 2 fusion). Journal of Advances in Information Fusion\u00a01(2), 122\u2013139 (2006)","journal-title":"Journal of Advances in Information Fusion"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/11944836_25","volume-title":"FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science","author":"A. Bauer","year":"2006","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: Arun-Kumar, S., Garg, N. (eds.) FSTTCS 2006. LNCS, vol.\u00a04337, pp. 260\u2013272. Springer, Heidelberg (2006)"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1518\/001872095779049543","volume":"37","author":"M.R. Endsley","year":"1995","unstructured":"Endsley, M.R.: Towards a theory of situation awareness in dynamic systems. Human Factors\u00a037, 32 (1995)","journal-title":"Human Factors"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-540-85658-0_3","volume-title":"Reasoning Web","author":"N.E. Fuchs","year":"2008","unstructured":"Fuchs, N.E., Kaljurand, K., Kuhn, T.: Attempto Controlled English for Knowledge Representation. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol.\u00a05224, pp. 104\u2013124. Springer, Heidelberg (2008)"},{"unstructured":"Gabaldon, A.: Compiling control knowledge into preconditions for planning in the situation calculus. In: Procs. IJCAI 2003, Acapulco, Mexico (2003)","key":"7_CR8"},{"issue":"6","key":"7_CR9","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1093\/comjnl\/bxm063","volume":"50","author":"R.A. Ghanea-Hercock","year":"2007","unstructured":"Ghanea-Hercock, R.A., Gelenbe, E., Jennings, N.R., Smith, O., Allsopp, D.N., Healing, A., Duman, H., Sparks, S., Karunatillake, N.C., Vytelingum, P.: Hyperion\u2014next-generation battlespace information services. The Computer Journal\u00a050(6), 632\u2013645 (2007)","journal-title":"The Computer Journal"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web - ISWC 2003","author":"V. Haarslev","year":"2003","unstructured":"Haarslev, V., M\u00f6ller, R.: Racer: A core inference engine for the semantic web. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870. Springer, Heidelberg (2003)"},{"key":"7_CR11","volume-title":"FUSION 2005: 7th International Conference on Information Fusion","author":"C.J. Matheus","year":"2005","unstructured":"Matheus, C.J., Kokar, M.M., Letkowski, J.J., Call, C., Baclawski, K., Hinman, M., Salerno, J., Boulware, D.: Lessons learned from developing SAWA: A situation awareness assistant. In: FUSION 2005: 7th International Conference on Information Fusion. IEEE, Los Alamitos (2005)"},{"key":"7_CR12","volume-title":"8th International Conference on Information Fusion","author":"C. Nowak","year":"2005","unstructured":"Nowak, C., Lambert, D.: The semantic challenge for situation assessments. In: 8th International Conference on Information Fusion, July 2005. IEEE, Los Alamitos (2005)"},{"key":"7_CR13","volume-title":"Events in the Semantics of English: A Study in Subatomic Semantics","author":"T. Parsons","year":"1994","unstructured":"Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, Cambridge (1994)"},{"key":"7_CR14","first-page":"46","volume-title":"FOCS","author":"A. Pnueli","year":"1977","unstructured":"Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46\u201357. IEEE, Los Alamitos (1977)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"508","DOI":"10.1007\/978-3-540-73595-3_37","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Pelzer","year":"2007","unstructured":"Pelzer, B., Wernhard, C.: System description: E- kRHyper. In: Pfenning, F. (ed.) CADE 2007. LNCS, vol.\u00a04603, pp. 508\u2013513. Springer, Heidelberg (2007)"},{"issue":"1","key":"7_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0743-1066(94)90005-1","volume":"21","author":"L. Raschid","year":"1994","unstructured":"Raschid, L.: A semantics for a class of stratified production system programs. Journal of Logic Programming\u00a021(1), 31\u201357 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"7_CR17","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1093\/comjnl\/bxm067","volume":"50","author":"P.R. Smart","year":"2007","unstructured":"Smart, P.R., Russell, A., Shadbolt, N.R., Shraefel, M.C., Aktivesa, L.A.C.: A technical demonstrator system for enhanced situation awareness. The Computer Journal\u00a050(6), 704\u2013716 (2007)","journal-title":"The Computer Journal"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1023\/A:1005806324129","volume":"21","author":"G. Sutcliffe","year":"1998","unstructured":"Sutcliffe, G., Suttner, C.B.: The TPTP Problem Library: CNF Release v1.2.1. Journal of Automated Reasoning\u00a021(2), 177\u2013203 (1998)","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"7_CR19","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1111\/j.1468-0394.2008.00463.x","volume":"25","author":"R. Schwitter","year":"2008","unstructured":"Schwitter, R., Tilbrook, M.: Meaningful Web Annotations for Humans and Machines using Controlled Natural Language. Expert Systems\u00a025(3), 253\u2013267 (2008)","journal-title":"Expert Systems"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02716-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T10:55:56Z","timestamp":1619780156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02716-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642027154","9783642027161"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02716-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}