{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:52:36Z","timestamp":1773615156811,"version":"3.50.1"},"reference-count":11,"publisher":"Allerton Press","issue":"5","license":[{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,9,1]],"date-time":"2014-09-01T00:00:00Z","timestamp":1409529600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.3103\/s0146411614050083","type":"journal-article","created":{"date-parts":[[2014,11,3]],"date-time":"2014-11-03T21:46:48Z","timestamp":1415051208000},"page":"257-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Hybrid model of knowledge for situation recognition in airspace"],"prefix":"10.3103","volume":"48","author":[{"given":"M. A.","family":"Pavlenko","sequence":"first","affiliation":[]},{"given":"A. I.","family":"Timochko","sequence":"additional","affiliation":[]},{"given":"N. A.","family":"Korolyuk","sequence":"additional","affiliation":[]},{"given":"M. Yu.","family":"Gusak","sequence":"additional","affiliation":[]}],"member":"1627","published-online":{"date-parts":[[2014,11,5]]},"reference":[{"key":"6325_CR1","unstructured":"Sistemi obroblennya informatsi\u00ef. Intelektual\u2019nii nformatsiini tekhnologi\u00ef. Termini ta viznachennya (Systems of Information Treatment. Intellectual Information Technologies. Terms and Indications) Kiev: Derzhstandart Ukra\u00efni, DSTU 2481-94, 1994."},{"key":"6325_CR2","volume-title":"Iskusstvennyi intellekt. Spravochnik v 3-kh knigakh. Kniga 2. Modeli i metody","year":"1990","unstructured":"Iskusstvennyi intellekt. Spravochnik v 3-kh knigakh. Kniga 2. Modeli i metody (Artificial Intellect. A Handbook in 3 Vol. Vol. 2. Models and Methods), Pospelov, D.A., Ed., Moscow: Radio Svyaz\u2019, 1990."},{"key":"6325_CR3","volume-title":"Teoreticheskie osnovy avtomatizatsii protsessov vyrabotki reshenii v sistemakh upravleniya","year":"1993","unstructured":"Teoreticheskie osnovy avtomatizatsii protsessov vyrabotki reshenii v sistemakh upravleniya (Theoretical Foundations of Decision-Making Automation in Management Systems), Yarushek, V.E., Prokhorov, V.P., Sudakov, B.N. and Mishin, A.V., Eds., Kharkov: KhVU, 1993."},{"key":"6325_CR4","volume-title":"Soderzhatel\u2019naya semantika modal\u2019noi logiki","author":"YuV Ivlev","year":"1985","unstructured":"Ivlev, Yu.V., Soderzhatel\u2019naya semantika modal\u2019noi logiki (Substantial Semantics of Modal Logics) Moscow: Mos. Gos. Univ., 1985."},{"key":"6325_CR5","volume-title":"Sovremennaya modal\u2019naya logika","author":"YaA Slinin","year":"1976","unstructured":"Slinin, Ya.A., Sovremennaya modal\u2019naya logika (Contemporary Modal Logics), Leningrad: Leningr. Gos. Univ., 1976."},{"key":"6325_CR6","volume-title":"Logika ponyatii","author":"PI Sosnin","year":"1986","unstructured":"Sosnin, P.I., Logika ponyatii (Logics of Concepts), Saratov: Sarat. Gos. Univ., 1986."},{"key":"6325_CR7","volume-title":"Modal\u2019nye i intensional\u2019nye logiki i ikh primenenie k problemam metodologii nauki","year":"1984","unstructured":"Modal\u2019nye i intensional\u2019nye logiki i ikh primenenie k problemam metodologii nauki (Modal and Intensional Logics and Their Application to Problems of Science Methodology), Smirnov, V.A., Ed., Moscow: Nauka, 1984."},{"key":"6325_CR8","volume-title":"Th\u00e9orie des Possibilit\u00e9s. Application a la Representation des Connaissances en Informatique","author":"D Dubois","year":"1988","unstructured":"Dubois, D. and Prade, A., Th\u00e9orie des Possibilit\u00e9s. Application a la Representation des Connaissances en Informatique, Paris: Masson, 1988; Moscow: Radio Svyaz\u2019, 1990."},{"key":"6325_CR9","first-page":"113","volume-title":"Sist. Obrob. Inform.","author":"MA Pavlenko","year":"2013","unstructured":"Pavlenko, M.A., Matyushchenko, O.G., Simonov, S.I., and Golovnyak, D.V., Development of method of multistage knowledge formalization about process of recognition of operative-tactic situation, Sist. Obrob. Inform. 2013, No. 6, pp. 113\u2013117."},{"key":"6325_CR10","first-page":"86","volume-title":"Sist. Upravl., Navig. Svyaz.","author":"MA Pavlenko","year":"2012","unstructured":"Pavlenko, M.A., Method of knowledge formalization about process of recognition of situation of moving rule violation by airplanes, Sist. Upravl., Navig. Svyaz. 2012, No. 2, pp. 86\u201392."},{"key":"6325_CR11","first-page":"110","volume-title":"Sci. Techn. Ukrainian Air Forces","author":"VD Karlov","year":"2012","unstructured":"Karlov, V.D., Pavlenko, M.A., and Korolyuk, N.A., Development of procedure of estimation of operative-tactic situation danger, Sci. Techn. Ukrainian Air Forces 2012, No. 3, pp. 110\u2013113."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614050083.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411614050083","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614050083","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411614050083.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T21:56:07Z","timestamp":1773611767000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411614050083"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":11,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2014,9]]}},"alternative-id":["6325"],"URL":"https:\/\/doi.org\/10.3103\/s0146411614050083","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9]]},"assertion":[{"value":"28 January 2014","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 July 2014","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 November 2014","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}