{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T13:48:12Z","timestamp":1774878492871,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319261287","type":"print"},{"value":"9783319261294","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","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":[[2015]]},"DOI":"10.1007\/978-3-319-26129-4_6","type":"book-chapter","created":{"date-parts":[[2016,1,6]],"date-time":"2016-01-06T04:21:30Z","timestamp":1452054090000},"page":"82-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Development of Concurrent Object-Oriented Logic Programming Platform for the Intelligent Monitoring of Anomalous Human Activities"],"prefix":"10.1007","author":[{"given":"Alexei A.","family":"Morozov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abhishek","family":"Vaish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander F.","family":"Polupanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vyacheslav E.","family":"Antciperov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Igor I.","family":"Lychkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandr N.","family":"Alfimtsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir V.","family":"Deviatkov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,7]]},"reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/1922649.1922653","volume":"43","author":"J Aggarwal","year":"2011","unstructured":"Aggarwal, J., Ryoo, M.: Human activity analysis: a review. ACM Comput. Surv. (CSUR) 43(3), 16:1\u201316:43 (2011)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"6_CR2","volume-title":"Prolog Programming for Artificial Intelligence","author":"I Bratko","year":"1986","unstructured":"Bratko, I.: Prolog Programming for Artificial Intelligence. Addison-Wesley, Boston (1986)"},{"key":"6_CR3","first-page":"129","volume-title":"Vestnik, Journal of the Bauman Moscow State Technical University, Natural Science & Engineering","author":"V Devyatkov","year":"2005","unstructured":"Devyatkov, V.: Multiagent hierarchical recognition on the basis of fuzzy situation calculus. Vestnik, Journal of the Bauman Moscow State Technical University, Natural Science & Engineering, pp. 129\u2013152. Vestnik MGTU, Moscow (2005)"},{"key":"6_CR4","unstructured":"Filippou, J., Artikis, A., Skarlatidis, A., Paliouras, G.: A probabilistic logic programming event calculus (2012). http:\/\/arxiv.org\/abs\/1204.1851"},{"key":"6_CR5","unstructured":"Fisher, R.: CAVIAR Test Case Scenarios. The EC funded project IST 2001 37540 (2007). http:\/\/homepages.inf.ed.ac.uk\/rbf\/CAVIAR\/"},{"issue":"5","key":"6_CR6","first-page":"66","volume":"27","author":"J Junior","year":"2010","unstructured":"Junior, J., Musse, S., Jung, C.: Crowd analysis using computer vision techniques. A survey. IEEE Signal Process. Mag. 27(5), 66\u201377 (2010)","journal-title":"IEEE Signal Process. Mag."},{"issue":"5","key":"6_CR7","doi-asserted-by":"publisher","first-page":"926","DOI":"10.1007\/s12555-010-0501-4","volume":"8","author":"I Kim","year":"2010","unstructured":"Kim, I., Choi, H., Yi, K., Choi, J., Kong, S.: Intelligent visual surveillance\u2013a survey. Int. J. Control Autom. Syst. 8(5), 926\u2013939 (2010)","journal-title":"Int. J. Control Autom. Syst."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Machot, F., Kyamakya, K., Dieber, B., Rinner, B.: Real time complex event detection for resource-limited multimedia sensor networks. In: Workshop on Activity Monitoring by Multi-camera Surveillance Systems (AMMCSS), pp. 468\u2013473 (2011)","DOI":"10.1109\/AVSS.2011.6027378"},{"key":"6_CR9","unstructured":"Morozov, A.A.: Actor Prolog: an object-oriented language with the classical declarative semantics. In: Sagonas, K., Tarau, P. (eds.) IDL 1999, pp. 39\u201353. Paris, France (1999). http:\/\/www.cplire.ru\/Lab144\/paris.pdf"},{"key":"6_CR10","unstructured":"Morozov, A.A.: On semantic link between logic, object-oriented, functional, and constraint programming. In: MultiCPL 2002. Ithaca (2002). http:\/\/www.cplire.ru\/Lab144\/multicpl.pdf"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-540-24599-5_39","volume-title":"Logic Programming","author":"AA Morozov","year":"2003","unstructured":"Morozov, A.A.: Development and application of logical actors mathematical apparatus for logic programming of web agents. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 494\u2013495. Springer, Heidelberg (2003)"},{"key":"6_CR12","unstructured":"Morozov, A.A.: Logic object-oriented model of asynchronous concurrent computations. Pattern Recognit. Image Anal. 13(4), 640\u2013649 (2003). http:\/\/www.cplire.ru\/Lab144\/pria640.pdf"},{"key":"6_CR13","unstructured":"Morozov, A.A.: Operational approach to the modified reasoning, based on the concept of repeated proving and logical actors. In: Salvador Abreu, V.S.C. (ed.) CICLOPS 2007, pp. 1\u201315. Porto, (2007). http:\/\/www.cplire.ru\/Lab144\/ciclops07.pdf"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-74610-2_34","volume-title":"Logic Programming","author":"AA Morozov","year":"2007","unstructured":"Morozov, A.A.: Visual logic programming method based on structural analysis and design technique. In: Dahl, V., Niemel\u00e4, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 436\u2013437. Springer, Heidelberg (2007)"},{"key":"6_CR15","first-page":"696","volume-title":"IIP-9","author":"AA Morozov","year":"2012","unstructured":"Morozov, A.A.: Actor Prolog to Java translation (in Russian). IIP-9, pp. 696\u2013698. Torus Press Moscow, Budva (2012)"},{"key":"6_CR16","unstructured":"Morozov, A.A.: A GitHub repository containing source codes of Actor Prolog built-in classes (including the Vision package) (2014). https:\/\/github.com\/Morozov2012\/actor-prolog-java-library"},{"key":"6_CR17","unstructured":"Morozov, A.A., Vaish, A., Polupanov, A.F, Antciperov, V.E., Lychkov, I.I., Alfimtsev, A.N., Deviatkov, V.V.: Development of concurrent object-oriented logic programming system to intelligent monitoring of anomalous human activities. In: Jr., A.C., Plantier, G., Schultz, T., Fred, A., Gamboa, H. (eds.) BIODEVICES 2014, pp. 53\u201362. SCITEPRESS (2014). http:\/\/www.cplire.ru\/Lab144\/biodevices2014.pdf"},{"key":"6_CR18","unstructured":"O\u2019Hara, S.: VERSA\u2013video event recognition for surveillance applications. M.S. thesis, University of Nebraska at Omaha (2008)"},{"issue":"2","key":"6_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s11263-010-0343-9","volume":"93","author":"V Shet","year":"2011","unstructured":"Shet, V., Singh, M., Bahlmann, C., Ramesh, V., Neumann, J., Davis, L.: Predicate logic based image grammars for complex pattern recognition. Int. J. Comput. Vis. 93(2), 141\u2013161 (2011)","journal-title":"Int. J. Comput. Vis."}],"container-title":["Communications in Computer and Information Science","Biomedical Engineering Systems and Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26129-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T01:55:54Z","timestamp":1748742954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26129-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319261287","9783319261294"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26129-4_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"7 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}