{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,17]],"date-time":"2026-09-17T20:45:50Z","timestamp":1789677950616,"version":"4.0.1"},"reference-count":99,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T00:00:00Z","timestamp":1424131200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Commission FP7 projects PRONTO (231738) and SPEEDD (619435)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2015,3,21]]},"abstract":"<jats:p>\n            Symbolic event recognition systems have been successfully applied to a variety of application domains, extracting useful information in the form of events, allowing experts or other systems to monitor and respond when significant events are recognised. In a typical event recognition application, however, these systems often have to deal with a significant amount of uncertainty. In this article, we address the issue of uncertainty in logic-based event recognition by extending the Event Calculus with probabilistic reasoning. Markov logic networks are a natural candidate for our logic-based formalism. However, the temporal semantics of the Event Calculus introduce a number of challenges for the proposed model. We show how and under what assumptions we can overcome these problems. Additionally, we study how probabilistic modelling changes the behaviour of the formalism, affecting its key property\u2014the\n            <jats:italic>inertia<\/jats:italic>\n            of fluents. Furthermore, we demonstrate the advantages of the probabilistic Event Calculus through examples and experiments in the domain of activity recognition, using a publicly available dataset for video surveillance.\n          <\/jats:p>","DOI":"10.1145\/2699916","type":"journal-article","created":{"date-parts":[[2015,2,18]],"date-time":"2015-02-18T13:24:05Z","timestamp":1424265845000},"page":"1-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Probabilistic Event Calculus for Event Recognition"],"prefix":"10.1145","volume":"16","author":[{"given":"Anastasios","family":"Skarlatidis","sequence":"first","affiliation":[{"name":"Institute of Informatics and Telecommunications, NCSR \u201cDemokritos\u201d and Department of Digital Systems, University of Piraeus, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Georgios","family":"Paliouras","sequence":"additional","affiliation":[{"name":"Institute of Informatics and Telecommunications, NCSR \u201cDemokritos\u201d, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexander","family":"Artikis","sequence":"additional","affiliation":[{"name":"Department of Maritime Studies, University of Piraeus' and Institute of Informatics and Telecommunications, NCSR \u201cDemokritos\u201d, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"George A.","family":"Vouros","sequence":"additional","affiliation":[{"name":"Department of Digital Systems, University of Piraeus, Greece"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2015,2,17]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2003.08.002"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2010.33"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TMM.2008.2001369"},{"key":"e_1_2_1_4_1","volume-title":"Communications in Computer and Information Science","volume":"245","author":"Albanese Massimiliano","unstructured":"Massimiliano Albanese , Sushil Jajodia , Andrea Pugliese , and V. S. Subrahmanian . 2011a. Scalable detection of cyber attacks. In Computer Information Systems\u2014Analysis and Technologies . Communications in Computer and Information Science , Vol. 245 . Springer, 9--18. Massimiliano Albanese, Sushil Jajodia, Andrea Pugliese, and V. S. Subrahmanian. 2011a. Scalable detection of cyber attacks. In Computer Information Systems\u2014Analysis and Technologies. Communications in Computer and Information Science, Vol. 245. Springer, 9--18."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2283516.2283667"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 1802--1807","author":"Albanese Massimiliano","year":"2007","unstructured":"Massimiliano Albanese , Vincenzo Moscato , Antonio Picariello , V. S. Subrahmanian , and Octavian Udrea . 2007 . Detecting stochastically scheduled activities in video . In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 1802--1807 . Massimiliano Albanese, Vincenzo Moscato, Antonio Picariello, V. S. Subrahmanian, and Octavian Udrea. 2007. Detecting stochastically scheduled activities in video. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 1802--1807."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1877937.1877941"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021821301000011X"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888912000264"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI). 1933--1940","author":"Bacchus Fahiem","unstructured":"Fahiem Bacchus , Joseph Y. Halpern , and Hector J. Levesque . 1995. Reasoning about noisy sensors in the situation calculus . In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI). 1933--1940 . Fahiem Bacchus, Joseph Y. Halpern, and Hector J. Levesque. 1995. Reasoning about noisy sensors in the situation calculus. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI). 1933--1940."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/CISIS.2011.82"},{"key":"e_1_2_1_13_1","series-title":"Lecture Notes in Computer Science","volume-title":"Human Motion\u2014Understanding, Modeling, Capture and Animation","author":"Biswas Rahul","unstructured":"Rahul Biswas , Sebastian Thrun , and Kikuo Fujimura . 2007. Recognizing activities with multiple cues . In Human Motion\u2014Understanding, Modeling, Capture and Animation . Lecture Notes in Computer Science , Vol. 4814 . Springer , 255--270. Rahul Biswas, Sebastian Thrun, and Kikuo Fujimura. 2007. Recognizing activities with multiple cues. In Human Motion\u2014Understanding, Modeling, Capture and Animation. Lecture Notes in Computer Science, Vol. 4814. Springer, 255--270."},{"key":"e_1_2_1_14_1","volume-title":"Handbook on Neural Information Processing","author":"Blockeel Hendrik","unstructured":"Hendrik Blockeel . 2011. Statistical relational learning . In Handbook on Neural Information Processing . Intelligent Systems Reference Library, Vol . 49. Springer , 241--281. Hendrik Blockeel. 2011. Statistical relational learning. In Handbook on Neural Information Processing. Intelligent Systems Reference Library, Vol. 49. Springer, 241--281."},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the International Conference on Computational Semantics. 55--64","author":"Blythe James","unstructured":"James Blythe , Jerry R. Hobbs , Pedro Domingos , Rohit J. Kate , and Raymond J. Mooney . 2011. Implementing weighted abduction in Markov logic . In Proceedings of the International Conference on Computational Semantics. 55--64 . James Blythe, Jerry R. Hobbs, Pedro Domingos, Rohit J. Kate, and Raymond J. Mooney. 2011. Implementing weighted abduction in Markov logic. In Proceedings of the International Conference on Computational Semantics. 55--64."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/794189.794420"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2011.5995491"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01582063"},{"key":"e_1_2_1_19_1","volume-title":"ECAI","volume":"178","author":"Callens Lucie","year":"2008","unstructured":"Lucie Callens , Guy Carrault , Marie-Odile Cordier , Elisa Fromont , Fran\u00e7ois Portet , and Ren\u00e9 Quiniou . 2008 . Intelligent adaptive monitoring for cardiac surveillance . In ECAI 2008. Frontiers in Artificial Intelligence and Applications , Vol. 178 . IOS Press, 653--657. Lucie Callens, Guy Carrault, Marie-Odile Cordier, Elisa Fromont, Fran\u00e7ois Portet, and Ren\u00e9 Quiniou. 2008. Intelligent adaptive monitoring for cardiac surveillance. In ECAI 2008. Frontiers in Artificial Intelligence and Applications, Vol. 178. IOS Press, 653--657."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018900105153"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01924-1_19"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3115\/1118693.1118694"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1613984.1614012"},{"key":"e_1_2_1_25_1","volume-title":"Innovations in Bayesian Networks: Theory and Applications. Studies in Computational Intelligence","author":"de Salvo Braz Rodrigo","unstructured":"Rodrigo de Salvo Braz , Eyal Amir , and Dan Roth . 2008. A survey of first-order probabilistic models . In Innovations in Bayesian Networks: Theory and Applications. Studies in Computational Intelligence , Vol. 156 . Springer , 289--317. Rodrigo de Salvo Braz, Eyal Amir, and Dan Roth. 2008. A survey of first-order probabilistic models. In Innovations in Bayesian Networks: Theory and Applications. Studies in Computational Intelligence, Vol. 156. Springer, 289--317."},{"key":"e_1_2_1_26_1","first-page":"3","article-title":"TAL: Temporal action logics language specification and tutorial","volume":"2","author":"Doherty Patrick","year":"1998","unstructured":"Patrick Doherty , Joakim Gustafsson , Lars Karlsson , and Jonas Kvarnstr\u00f6m . 1998 . TAL: Temporal action logics language specification and tutorial . Electronic Transactions on Artificial Intelligence 2 , 3 -- 4 , 273--306. Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnstr\u00f6m. 1998. TAL: Temporal action logics language specification and tutorial. Electronic Transactions on Artificial Intelligence 2, 3--4, 273--306.","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005722130532"},{"key":"e_1_2_1_28_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01549-6","volume-title":"Markov Logic: An Interface Layer for Artificial Intelligence. Morgan &amp","author":"Domingos Pedro","year":"2009","unstructured":"Pedro Domingos and Daniel Lowd . 2009 . Markov Logic: An Interface Layer for Artificial Intelligence. Morgan &amp ; Claypool . Pedro Domingos and Daniel Lowd. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan &amp; Claypool."},{"key":"e_1_2_1_29_1","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/BF02997712","article-title":"Alarm driven supervision for telecommunication network: II-On-line chronicle recognition","volume":"51","author":"Dousson Christophe","year":"1996","unstructured":"Christophe Dousson . 1996 . Alarm driven supervision for telecommunication network: II-On-line chronicle recognition . Annals of Telecommunications 51 , 9, 501 -- 508 . Christophe Dousson. 1996. Alarm driven supervision for telecommunication network: II-On-line chronicle recognition. Annals of Telecommunications 51, 9, 501--508.","journal-title":"Annals of Telecommunications"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/1625275.1625326"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of UAI-2003","author":"Eiter Thomas","year":"2003","unstructured":"Thomas Eiter and Thomas Lukasiewicz . 2003 . Probabilistic reasoning about actions in nonmonotonic causal theories . In Proceedings of UAI-2003 . Morgan Kaufmann, 192--199. Thomas Eiter and Thomas Lukasiewicz. 2003. Probabilistic reasoning about actions in nonmonotonic causal theories. In Proceedings of UAI-2003. Morgan Kaufmann, 192--199."},{"key":"e_1_2_1_32_1","volume-title":"Event Processing in Action","author":"Etzion Opher","unstructured":"Opher Etzion and Peter Niblett . 2010. Event Processing in Action . Manning Publications Company . Opher Etzion and Peter Niblett. 2010. Event Processing in Action. Manning Publications Company."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/237661.237715"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25167-2_6"},{"key":"e_1_2_1_35_1","volume-title":"Reasoning in Event-Based Distributed Systems. Studies in Computational Intelligence","author":"Gal Avigdor","unstructured":"Avigdor Gal , Segev Wasserkrug , and Opher Etzion . 2011. Event processing over uncertain data . In Reasoning in Event-Based Distributed Systems. Studies in Computational Intelligence , Vol. 347 . Springer , 279--304. Avigdor Gal, Segev Wasserkrug, and Opher Etzion. 2011. Event processing over uncertain data. In Reasoning in Event-Based Distributed Systems. Studies in Computational Intelligence, Vol. 347. Springer, 279--304."},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2002.12.001"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/946247.946718"},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI). 248--255","author":"Hajishirzi Hannaneh","year":"2008","unstructured":"Hannaneh Hajishirzi and Eyal Amir . 2008 . Sampling first order logical particles . In Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI). 248--255 . Hannaneh Hajishirzi and Eyal Amir. 2008. Sampling first order logical particles. In Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI). 248--255."},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/PERCOM.2011.5767586"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622572.1622584"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/946247.946748"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04180-8_54"},{"key":"e_1_2_1_44_1","volume-title":"Mooney","author":"Huynh Tuyen N.","year":"2011","unstructured":"Tuyen N. Huynh and Raymond J . Mooney . 2011 . Online max-margin weight learning for Markov logic networks. In Proceedings of the 11th SIAM International Conference on Data Mining (SDM). 642--651. Tuyen N. Huynh and Raymond J. Mooney. 2011. Online max-margin weight learning for Markov logic networks. In Proceedings of the 11th SIAM International Conference on Data Mining (SDM). 642--651."},{"key":"e_1_2_1_45_1","series-title":"Lecture Notes in Computer Science","volume-title":"KI 2010: Advances in Artificial Intelligence","author":"Jain Dominik","unstructured":"Dominik Jain and Michael Beetz . 2010. Soft evidential update via Markov chain Monte Carlo inference . In KI 2010: Advances in Artificial Intelligence . Lecture Notes in Computer Science , Vol. 6359 . Springer , 280--290. Dominik Jain and Michael Beetz. 2010. Soft evidential update via Markov chain Monte Carlo inference. In KI 2010: Advances in Artificial Intelligence. Lecture Notes in Computer Science, Vol. 6359. Springer, 280--290."},{"key":"e_1_2_1_46_1","volume-title":"The Satisfiability Problem: Theory and Applications, D. Gu","author":"Kautz Henry","unstructured":"Henry Kautz , Bart Selman , and Yueyen Jiang . 1997. A general stochastic approach to solving problems with hard and soft constraints . In The Satisfiability Problem: Theory and Applications, D. Gu , J. Du, and P. Pardalos (Eds.). American Mathematical Society , 573--586. Henry Kautz, Bart Selman, and Yueyen Jiang. 1997. A general stochastic approach to solving problems with hard and soft constraints. In The Satisfiability Problem: Theory and Applications, D. Gu, J. Du, and P. Pardalos (Eds.). American Mathematical Society, 573--586."},{"key":"e_1_2_1_47_1","volume-title":"Davis","author":"Kembhavi Aniruddha","year":"2010","unstructured":"Aniruddha Kembhavi , Tom Yeh , and Larry S . Davis . 2010 . Why did the person cross the road (there)&quest; Scene understanding using probabilistic logic models and common sense reasoning. In Computer Vision\u2014ECCV 2010. Lecture Notes in Computer Science, Vol. 6312 . Springer , 693--706. Aniruddha Kembhavi, Tom Yeh, and Larry S. Davis. 2010. Why did the person cross the road (there)&quest; Scene understanding using probabilistic logic models and common sense reasoning. In Computer Vision\u2014ECCV 2010. Lecture Notes in Computer Science, Vol. 6312. Springer, 693--706."},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI). 277--284","author":"Kersting Kristian","year":"2009","unstructured":"Kristian Kersting , Babak Ahmadi , and Sriraam Natarajan . 2009 . Counting belief propagation . In Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI). 277--284 . Kristian Kersting, Babak Ahmadi, and Sriraam Natarajan. 2009. Counting belief propagation. In Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI). 277--284."},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622543.1622555"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068410000566"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00137-9"},{"key":"e_1_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037383"},{"key":"e_1_2_1_55_1","volume-title":"Proceedings of the 18th International Conference on Machine Learning (ICML). 282--289","author":"Lafferty John D.","unstructured":"John D. Lafferty , Andrew McCallum , and Fernando C. N. Pereira . 2001. Conditional random fields: Probabilistic models for segmenting and labeling sequence data . In Proceedings of the 18th International Conference on Machine Learning (ICML). 282--289 . John D. Lafferty, Andrew McCallum, and Fernando C. N. Pereira. 2001. Conditional random fields: Probabilistic models for segmenting and labeling sequence data. In Proceedings of the 18th International Conference on Machine Learning (ICML). 282--289."},{"key":"e_1_2_1_56_1","volume-title":"Kautz","author":"Liao Lin","year":"2005","unstructured":"Lin Liao , Dieter Fox , and Henry A . Kautz . 2005 . Hierarchical conditional random fields for GPS-based activity recognition. In Robotics Research. Springer Tracts in Advanced Robotics, Vol. 28 . Springer , 487--506. Lin Liao, Dieter Fox, and Henry A. Kautz. 2005. Hierarchical conditional random fields for GPS-based activity recognition. In Robotics Research. Springer Tracts in Advanced Robotics, Vol. 28. Springer, 487--506."},{"key":"e_1_2_1_57_1","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"Lifschitz Vladimir","unstructured":"Vladimir Lifschitz . 1994. Circumscription . In Handbook of Logic in Artificial Intelligence and Logic Programming , Vol. 3 . Oxford University Press , 297--352. Vladimir Lifschitz. 1994. Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3. Oxford University Press, 297--352."},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the 2nd Joint IEEE International Workshop on Visual Surveillance and Performance Evaluation of Tracking and Surveillance. 129--136","author":"List Thor","year":"2005","unstructured":"Thor List , Jos\u00e9 Bins , Jose Vazquez , and Robert B. Fisher . 2005. Performance evaluating the evaluator . In Proceedings of the 2nd Joint IEEE International Workshop on Visual Surveillance and Performance Evaluation of Tracking and Surveillance. 129--136 . DOI: http:\/\/dx.doi.org\/10.1109\/VSPETS. 2005 .1570907 10.1109\/VSPETS.2005.1570907 Thor List, Jos\u00e9 Bins, Jose Vazquez, and Robert B. Fisher. 2005. Performance evaluating the evaluator. In Proceedings of the 2nd Joint IEEE International Workshop on Visual Surveillance and Performance Evaluation of Tracking and Surveillance. 129--136. DOI: http:\/\/dx.doi.org\/10.1109\/VSPETS.2005.1570907"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/3120747.3120770"},{"key":"e_1_2_1_60_1","volume-title":"The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems","author":"Luckham David C.","unstructured":"David C. Luckham . 2002. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems . Addison Wesley Longman . David C. Luckham. 2002. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison Wesley Longman."},{"key":"e_1_2_1_61_1","volume-title":"Event Processing for Business: Organizing the Real-Time Enterprise","author":"Luckham David C.","unstructured":"David C. Luckham . 2011. Event Processing for Business: Organizing the Real-Time Enterprise . Wiley . David C. Luckham. 2011. Event Processing for Business: Organizing the Real-Time Enterprise. Wiley."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01818-3_44"},{"key":"e_1_2_1_63_1","volume-title":"Proceedings of the NIPS Workshop on Learning and Planning from Batch Time Series Data.","author":"Manfredotti Cristina","year":"2010","unstructured":"Cristina Manfredotti , Howard Hamilton , and Sandra Zilles . 2010 . Learning RDBNs for activity recognition . In Proceedings of the NIPS Workshop on Learning and Planning from Batch Time Series Data. Cristina Manfredotti, Howard Hamilton, and Sandra Zilles. 2010. Learning RDBNs for activity recognition. In Proceedings of the NIPS Workshop on Learning and Planning from Batch Time Series Data."},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016738205696"},{"key":"e_1_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90009-0"},{"key":"e_1_2_1_66_1","volume-title":"Hayes","author":"McCarthy John","year":"1968","unstructured":"John McCarthy and Patrik J . Hayes . 1968 . Some Philosophical Problems from the Standpoint of Artificial Intelligence. Stanford University , Stanford, CA. John McCarthy and Patrik J. Hayes. 1968. Some Philosophical Problems from the Standpoint of Artificial Intelligence. Stanford University, Stanford, CA."},{"key":"e_1_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/646002.675932"},{"key":"e_1_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2011.5995386"},{"key":"e_1_2_1_70_1","doi-asserted-by":"crossref","unstructured":"Erik T. Mueller. 2006. Commonsense Reasoning. Morgan Kaufmann.   Erik T. Mueller. 2006. Commonsense Reasoning. Morgan Kaufmann.","DOI":"10.1016\/B978-012369388-4\/50072-2"},{"key":"e_1_2_1_71_1","volume-title":"Handbook of Knowledge Representation. Foundations of Artificial Intelligence","author":"Mueller Erik T.","unstructured":"Erik T. Mueller . 2008. Event Calculus . In Handbook of Knowledge Representation. Foundations of Artificial Intelligence , Vol. 3 . Elsevier , 671--708. Erik T. Mueller. 2008. Event Calculus. In Handbook of Knowledge Representation. Foundations of Artificial Intelligence, Vol. 3. Elsevier, 671--708."},{"key":"e_1_2_1_73_1","volume-title":"Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 2562--2567","author":"Natarajan Pradeep","year":"2007","unstructured":"Pradeep Natarajan and Ramakant Nevatia . 2007 . Hierarchical multi-channel hidden semi Markov models . In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 2562--2567 . Pradeep Natarajan and Ramakant Nevatia. 2007. Hierarchical multi-channel hidden semi Markov models. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI). 2562--2567."},{"key":"e_1_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85928-4_17"},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04985-9_8"},{"key":"e_1_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218488500000101"},{"key":"e_1_2_1_77_1","volume-title":"Proceedings of the 21st AAAI Conference on Artificial Intelligence. 458--463","author":"Poon Hoifung","year":"2006","unstructured":"Hoifung Poon and Pedro Domingos . 2006 . Sound and efficient inference with probabilistic and deterministic dependencies . In Proceedings of the 21st AAAI Conference on Artificial Intelligence. 458--463 . Hoifung Poon and Pedro Domingos. 2006. Sound and efficient inference with probabilistic and deterministic dependencies. In Proceedings of the 21st AAAI Conference on Artificial Intelligence. 458--463."},{"key":"e_1_2_1_78_1","first-page":"4","article-title":"An introduction to hidden Markov models","volume":"3","author":"Rabiner Lawrence R.","year":"1986","unstructured":"Lawrence R. Rabiner and Biing-Hwang Juang . 1986 . An introduction to hidden Markov models . Acoustics, Speech, and Signal Processing Magazine 3 , 1, 4 -- 16 . Lawrence R. Rabiner and Biing-Hwang Juang. 1986. An introduction to hidden Markov models. Acoustics, Speech, and Signal Processing Magazine 3, 1, 4--16.","journal-title":"Acoustics, Speech, and Signal Processing Magazine"},{"key":"e_1_2_1_79_1","volume-title":"Encyclopedia of Machine Learning","author":"Raedt Luc De","unstructured":"Luc De Raedt and Kristian Kersting . 2010. Statistical relational learning . In Encyclopedia of Machine Learning , C. Sammut and G. I. Webb (Eds.). Springer , 916--924. Luc De Raedt and Kristian Kersting. 2010. Statistical relational learning. In Encyclopedia of Machine Learning, C. Sammut and G. I. Webb (Eds.). Springer, 916--924."},{"key":"e_1_2_1_80_1","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter Raymond","unstructured":"Raymond Reiter . 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems . MIT Press , Cambridge, MA . Raymond Reiter. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge, MA."},{"key":"e_1_2_1_81_1","volume-title":"Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI). 468--475","author":"Riedel Sebastian","year":"2008","unstructured":"Sebastian Riedel . 2008 . Improving the accuracy and efficiency of MAP inference for Markov logic . In Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI). 468--475 . Sebastian Riedel. 2008. Improving the accuracy and efficiency of MAP inference for Markov logic. In Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence (UAI). 468--475."},{"key":"e_1_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387915.2387918"},{"key":"e_1_2_1_83_1","volume-title":"Proceedings of the National Conference on Artificial Intelligence","volume":"21","author":"Schiffel Stephan","year":"2006","unstructured":"Stephan Schiffel and Michael Thielscher . 2006 . Reconciling Situation Calculus and Fluent Calculus . In Proceedings of the National Conference on Artificial Intelligence , Vol. 21 . 287. Stephan Schiffel and Michael Thielscher. 2006. Reconciling Situation Calculus and Fluent Calculus. In Proceedings of the National Conference on Artificial Intelligence, Vol. 21. 287."},{"key":"e_1_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCVW.2011.6130308"},{"key":"e_1_2_1_85_1","volume-title":"Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia","author":"Shanahan Murray","unstructured":"Murray Shanahan . 1997. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia . MIT Press , Cambridge, MA . Murray Shanahan. 1997. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge, MA."},{"key":"e_1_2_1_86_1","series-title":"Lecture Notes in Computer Science","volume-title":"Artificial Intelligence Today","author":"Shanahan Murray","unstructured":"Murray Shanahan . 1999. The Event Calculus explained . In Artificial Intelligence Today . Lecture Notes in Computer Science , Vol. 1600 . Springer , 409--430. Murray Shanahan. 1999. The Event Calculus explained. In Artificial Intelligence Today. Lecture Notes in Computer Science, Vol. 1600. Springer, 409--430."},{"key":"e_1_2_1_87_1","volume-title":"Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE","author":"Shet Vinay D.","unstructured":"Vinay D. Shet , Jan Neumann , Visvanathan Ramesh , and Larry S. Davis . 2007. Bilattice-based logical reasoning for human detection . In Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE , Los Alamitos, CA, 1--8. Vinay D. Shet, Jan Neumann, Visvanathan Ramesh, and Larry S. Davis. 2007. Bilattice-based logical reasoning for human detection. In Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, Los Alamitos, CA, 1--8."},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.5555\/1619410.1619472"},{"key":"e_1_2_1_89_1","volume-title":"Proceedings of the 21st AAAI Conference on Artificial Intelligence. 488--493","author":"Singla Parag","year":"2006","unstructured":"Parag Singla and Pedro Domingos . 2006 . Memory-efficient inference in relational domains . In Proceedings of the 21st AAAI Conference on Artificial Intelligence. 488--493 . Parag Singla and Pedro Domingos. 2006. Memory-efficient inference in relational domains. In Proceedings of the 21st AAAI Conference on Artificial Intelligence. 488--493."},{"key":"e_1_2_1_90_1","volume-title":"Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1094--1099","author":"Singla Parag","year":"2008","unstructured":"Parag Singla and Pedro Domingos . 2008 . Lifted first-order belief propagation . In Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1094--1099 . Parag Singla and Pedro Domingos. 2008. Lifted first-order belief propagation. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1094--1099."},{"key":"e_1_2_1_91_1","volume-title":"Proceedings of the 25th AAAI Conference on Artificial Intelligence. 1069--1075","author":"Singla Parag","unstructured":"Parag Singla and Raymond J. Mooney . 2011. Abductive Markov logic for plan recognition . In Proceedings of the 25th AAAI Conference on Artificial Intelligence. 1069--1075 . Parag Singla and Raymond J. Mooney. 2011. Abductive Markov logic for plan recognition. In Proceedings of the 25th AAAI Conference on Artificial Intelligence. 1069--1075."},{"key":"e_1_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.790"},{"key":"e_1_2_1_93_1","article-title":"A probabilistic logic programming Event Calculus","author":"Skarlatidis Anastasios","year":"2013","unstructured":"Anastasios Skarlatidis , Alexander Artikis , Jason Filippou , and Georgios Paliouras . 2013 . A probabilistic logic programming Event Calculus . Journal of Theory and Practice of Logic Programming. Anastasios Skarlatidis, Alexander Artikis, Jason Filippou, and Georgios Paliouras. 2013. A probabilistic logic programming Event Calculus. Journal of Theory and Practice of Logic Programming.","journal-title":"Journal of Theory and Practice of Logic Programming."},{"key":"e_1_2_1_94_1","series-title":"Lecture Notes in Computer Science","volume-title":"Rule-Based Modeling and Computing on the Semantic Web","author":"Skarlatidis Anastaios","unstructured":"Anastaios Skarlatidis , Georgios Paliouras , George Vouros , and Alexander Artikis . 2011. Probabilistic Event Calculus based on Markov logic networks . In Rule-Based Modeling and Computing on the Semantic Web . Lecture Notes in Computer Science , Vol. 7018 . Springer , 155--170. Anastaios Skarlatidis, Georgios Paliouras, George Vouros, and Alexander Artikis. 2011. Probabilistic Event Calculus based on Markov logic networks. In Rule-Based Modeling and Computing on the Semantic Web. Lecture Notes in Computer Science, Vol. 7018. Springer, 155--170."},{"key":"e_1_2_1_95_1","volume-title":"Introduction to Statistical Relational Learning","author":"Sutton Charles","unstructured":"Charles Sutton and Andrew McCallum . 2007. An introduction to conditional random fields for relational learning . In Introduction to Statistical Relational Learning , L. Getoor and B. Taskar (Eds.). MIT Press , Cambridge, MA , 93--127. Charles Sutton and Andrew McCallum. 2007. An introduction to conditional random fields for relational learning. In Introduction to Statistical Relational Learning, L. Getoor and B. Taskar (Eds.). MIT Press, Cambridge, MA, 93--127."},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00033-8"},{"key":"e_1_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00131-X"},{"key":"e_1_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88688-4_45"},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSVT.2008.2005594"},{"key":"e_1_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329409"},{"key":"e_1_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00123-9"},{"key":"e_1_2_1_102_1","volume-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI). 1295--1302","author":"Vu Van-Thinh","year":"2003","unstructured":"Van-Thinh Vu , Fran\u00e7ois Br\u00e9mond , and Monique Thonnat . 2003 . Automatic video interpretation: A novel algorithm for temporal scenario recognition . In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI). 1295--1302 . Van-Thinh Vu, Fran\u00e7ois Br\u00e9mond, and Monique Thonnat. 2003. Automatic video interpretation: A novel algorithm for temporal scenario recognition. In Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI). 1295--1302."},{"key":"e_1_2_1_103_1","volume-title":"Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1106--1111","author":"Wang Jue","year":"2008","unstructured":"Jue Wang and Pedro Domingos . 2008 . Hybrid Markov logic networks . In Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1106--1111 . Jue Wang and Pedro Domingos. 2008. Hybrid Markov logic networks. In Proceedings of the 23rd AAAI Conference on Artificial Intelligence. 1106--1111."},{"key":"e_1_2_1_104_1","volume-title":"Proceedings of the Workshop on Plan, Activity, and Intent Recognition (PAIR). 82--88","author":"Wu Tsu-Yu","year":"2007","unstructured":"Tsu-Yu Wu , Chia-Chun Lian , and Jane Yung-Jen Hsu . 2007 . Joint recognition of multiple concurrent activities using factorial conditional random fields . In Proceedings of the Workshop on Plan, Activity, and Intent Recognition (PAIR). 82--88 . Tsu-Yu Wu, Chia-Chun Lian, and Jane Yung-Jen Hsu. 2007. Joint recognition of multiple concurrent activities using factorial conditional random fields. In Proceedings of the Workshop on Plan, Activity, and Intent Recognition (PAIR). 82--88."}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2699916","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2699916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:16:59Z","timestamp":1750227419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2699916"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2,17]]},"references-count":99,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,3,21]]}},"alternative-id":["10.1145\/2699916"],"URL":"https:\/\/doi.org\/10.1145\/2699916","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"value":"1529-3785","type":"print"},{"value":"1557-945X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,2,17]]},"assertion":[{"value":"2013-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-02-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}