메뉴 건너뛰기




Volumn 27, Issue 4, 2012, Pages 469-506

Logic-based event recognition

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TRANSFORMATIONS; CITY TRANSPORT; DECLARATIVE SEMANTICS; EVENT RECOGNITION; EVENT STRUCTURES; FINANCIAL MARKET; LARGE DATA VOLUMES; LOGIC-BASED REPRESENTATION; OPERATIONAL KNOWLEDGE; RECOGNITION SYSTEMS; RESEARCH ISSUES; SYMBOLIC REPRESENTATION; TRANSMISSION CONTROL PROTOCOL/INTERNET PROTOCOLS;

EID: 84865008601     PISSN: 02698889     EISSN: 14698005     Source Type: Journal    
DOI: 10.1017/S0269888912000264     Document Type: Article
Times cited : (69)

References (123)
  • 1
    • 1642443535 scopus 로고    scopus 로고
    • Representing the zoo world and the traffic world in the language of the Causal Calculator
    • Akman, V., Erdogan, S., Lee, J., Lifschitz, V. & Turner, H. 2004. Representing the zoo world and the traffic world in the language of the Causal Calculator. Artificial Intelligence 153(1-2), 105-140.
    • (2004) Artificial Intelligence , vol.153 , Issue.1-2 , pp. 105-140
    • Akman, V.1    Erdogan, S.2    Lee, J.3    Lifschitz, V.4    Turner, H.5
  • 2
    • 0020849266 scopus 로고
    • Maintaining knowledge about temporal intervals
    • ACM
    • Allen, J. 1983. Maintaining knowledge about temporal intervals. Communications of the ACM 26(11), 832-843.
    • (1983) Communications of the , vol.26 , Issue.11 , pp. 832-843
    • Allen, J.1
  • 4
    • 33745289988 scopus 로고    scopus 로고
    • The CQL continuous query language: Semantic foundations and query execution
    • DOI 10.1007/s00778-004-0147-z
    • Arasu, A., Babu, S. & Widom, J. 2006. The CQL continuous query language: semantic foundations and query execution. The VLDB Journal 15(2), 121-142. (Pubitemid 43938935)
    • (2006) VLDB Journal , vol.15 , Issue.2 , pp. 121-142
    • Arasu, A.1    Babu, S.2    Widom, J.3
  • 6
    • 78650471925 scopus 로고    scopus 로고
    • 2010b. A logic programming approach to activity recognition
    • ACM Workshop on Events in Multimedia
    • Artikis, A., Sergot, M. & Paliouras, G. 2010b. A logic programming approach to activity recognition. In Proceedings of the ACM Workshop on Events in Multimedia.
    • Proceedings of the
    • Artikis, A.1    Sergot, M.2    Paliouras, G.3
  • 10
    • 0041663535 scopus 로고    scopus 로고
    • Temporal abstraction and inductive logic programming for arrhythmia recognition from electrocardiograms
    • DOI 10.1016/S0933-3657(03)00066-6
    • Carrault, G., Cordier, M., Quiniou, R. & Wang, F. 2003. Temporal abstraction and inductive logic programming for arrhyhtmia recognition from electrocardiograms. Artificial Intelligence in Medicine 28, 231-263. (Pubitemid 36966126)
    • (2003) Artificial Intelligence in Medicine , vol.28 , Issue.3 , pp. 231-263
    • Carrault, G.1    Cordier, M.-O.2    Quiniou, R.3    Wang, F.4
  • 13
    • 0033902739 scopus 로고    scopus 로고
    • Guided tour through some extensions of the Event Calculus
    • Cervesato, I., Franceschet, M. & Montanari, A. 2000. A guided tour through some extensions of the event calculus. Computational Intelligence 16, 307-347. (Pubitemid 30592757)
    • (2000) Computational Intelligence , vol.16 , Issue.2 , pp. 307-347
    • Cervesato, I.1    Franceschet, M.2    Montanari, A.3
  • 15
    • 33750629375 scopus 로고    scopus 로고
    • Extending the event calculus for tracking epidemic spread
    • DOI 10.1016/j.artmed.2005.06.001, PII S0933365705000783
    • Chaudet, H. 2006. Extending the event calculus for tracking epidemic spread. Artificial Intelligence in Medicine 38(2), 137-156. (Pubitemid 44693342)
    • (2006) Artificial Intelligence in Medicine , vol.38 , Issue.2 , pp. 137-156
    • Chaudet, H.1
  • 17
    • 0030724939 scopus 로고    scopus 로고
    • Using a general theory of time and change in patient monitoring: Experiment and evaluation
    • DOI 10.1016/S0010-4825(97)00014-0, PII S0010482597000140
    • Chittaro, L. & Dojat, M. 1997. Using a general theory of time and change in patient monitoring: experiment and evaluation. Computers in Biology and Medicine 27(5), 435-452. (Pubitemid 27496119)
    • (1997) Computers in Biology and Medicine , vol.27 , Issue.5 , pp. 435-452
    • Chittaro, L.1    Dojat, M.2
  • 18
    • 0030206824 scopus 로고    scopus 로고
    • Efficient temporal reasoning in the cached event calculus
    • Chittaro, L. & Montanari, A. 1996. Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12(3), 359-382.
    • (1996) Computational Intelligence , vol.12 , Issue.3 , pp. 359-382
    • Chittaro, L.1    Montanari, A.2
  • 22
    • 84855339464 scopus 로고    scopus 로고
    • Processing flows of information: from data stream to complex event processing
    • ACM Computing Surveys
    • Cugola, G. & Margara, A. 2011. Processing flows of information: from data stream to complex event processing. ACM Computing Surveys 44(3).
    • (2011) ACM Computing Surveys , vol.44 , Issue.3
    • Cugola, G.1    Margara, A.2
  • 25
    • 51849090960 scopus 로고    scopus 로고
    • A survey of first-order probabilistic models
    • D. E. & Jain, L. C. (eds). Studies in Computational Intelligence 156 Springer
    • De Salvo Braz, R., Amir, E. & Roth, D. 2008. A survey of first-order probabilistic models. In Innovations in Bayesian Networks, Holmes, D. E. & Jain, L. C. (eds). Studies in Computational Intelligence 156, 289-317. Springer.
    • (2008) Innovations in Bayesian Networks, Holmes , pp. 289-317
    • De Salvo Braz, R.1    Amir, E.2    Roth, D.3
  • 28
    • 27344434696 scopus 로고    scopus 로고
    • Special issue: Abductive logic programming
    • Denecker, M. & Kakas, A. 2000. Special issue: abductive logic programming. Journal of Logic Programming 44(1-3), 1-4.
    • (2000) Journal of Logic Programming , vol.44 , Issue.1-3 , pp. 1-4
    • Denecker, M.1    Kakas, A.2
  • 32
    • 79952384509 scopus 로고    scopus 로고
    • Markov logic: An interface layer for artificial intelligence
    • Domingos, P. & Lowd, D. 2009. Markov Logic: An Interface Layer for Artificial Intelligence. Morgan & Claypool Publishers.
    • (2009) Morgan & Claypool Publishers
    • Domingos, P.1    Lowd, D.2
  • 33
    • 0043112201 scopus 로고    scopus 로고
    • Alarm driven supervision for telecommunication network: II - On-line chronicle recognition
    • Dousson, C. 1996. Alarm driven supervision for télé communication network II-on-line chronicle recognition. Annales des Telecommunication 51(9-10), 501-508. (Pubitemid 126525032)
    • (1996) Annales des Telecommunications/Annals of Telecommunications , vol.51 , Issue.9-10 , pp. 501-508
    • Dousson, C.1
  • 39
    • 48049097936 scopus 로고    scopus 로고
    • Chronicle recognition for mobility management triggers
    • IEEE Symposium on Computers and Communications (ISCC
    • Dousson, C., Pentikousis, K., Sutinen, T. & Mäkelä, J. 2007. Chronicle recognition for mobility management triggers. In Proceedings of the IEEE Symposium on Computers and Communications (ISCC), 305-310.
    • (2007) Proceedings of the , pp. 305-310
    • Dousson, C.1    Pentikousis, K.2    Sutinen, T.3    Mäkelä, J.4
  • 45
    • 34547980383 scopus 로고    scopus 로고
    • Introduction to Statistical Relational Learning
    • MIT Press
    • Getoor, L. & Taskar, B. 2007. Introduction to Statistical Relational Learning. The MIT Press.
    • (2007) The
    • Getoor, L.1    Taskar, B.2
  • 49
    • 34249677392 scopus 로고    scopus 로고
    • Learning, detection and representation of multi-agent events in videos
    • DOI 10.1016/j.artint.2007.04.002, PII S0004370207000665
    • Hakeem, A. & Shah, M. 2007. Learning, detection and representation of multi-agent events in videos. Artificial Intelligence 171(8-9), 586-605. (Pubitemid 46830914)
    • (2007) Artificial Intelligence , vol.171 , Issue.8-9 , pp. 586-605
    • Hakeem, A.1    Shah, M.2
  • 50
    • 79957953657 scopus 로고    scopus 로고
    • A statistical-relational activity recognition framework for ambient assisted living systems
    • Augusto, J C., Corchado, J. M., Novais, P. & Analide, C. (eds). Advances in Soft Computing 72 Springer
    • Helaoui, R., Niepert, M. & Stuckenschmidt, H. 2010. A statistical-relational activity recognition framework for ambient assisted living systems. In ISAmI, Augusto, J. C., Corchado, J. M., Novais, P. & Analide, C. (eds). Advances in Soft Computing 72, 247-254. Springer.
    • (2010) ISAmI , pp. 247-254
    • Helaoui, R.1    Niepert, M.2    Stuckenschmidt, H.3
  • 62
    • 0031118374 scopus 로고    scopus 로고
    • Reconciling the event calculus with the situation calculus
    • Kowalski, R. & Sadri, F. 1997. Reconciling the event calculus with the situation calculus. Journal of Logic Programming 31, 39-58.
    • (1997) Journal of Logic Programming , vol.31 , pp. 39-58
    • Kowalski, R.1    Sadri, F.2
  • 63
  • 71
    • 0021828305 scopus 로고
    • The complexity of some polynomial network consistency algorithms for constraint satisfaction problems
    • Mackworth, A. & Freuder, E. 1985. The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artificial Intelligence 25, 65-74.
    • (1985) Artificial Intelligence , vol.25 , pp. 65-74
    • MacKworth, A.1    Freuder, E.2
  • 73
    • 0014638440 scopus 로고
    • Some philosophical problems from the standpoint of artificial intelligence
    • McCarthy, J. & Hayes, P. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463-502.
    • (1969) Machine Intelligence , vol.4 , pp. 463-502
    • McCarthy, J.1    Hayes, P.2
  • 78
    • 7044260410 scopus 로고    scopus 로고
    • Using theory completion to learn a robot navigation control program
    • Inductive Logic Programming
    • Moyle, S. 2002. Using theory completion to learn a robot navigation control program. In Inductive Logic Programming, Lecture Notes in Computer Science 2583, 182-197. Springer. (Pubitemid 36242060)
    • (2003) Lecture Notes in Computer Science , Issue.2583 , pp. 182-197
    • Moyle, S.1
  • 80
    • 33745864790 scopus 로고    scopus 로고
    • Event calculus and temporal action logics compared
    • DOI 10.1016/j.artint.2006.05.001, PII S0004370206000567
    • Mueller, E. 2006b. Event calculus and temporal action logics compared. Artificial Intelligence 170(11), 1017-1029. (Pubitemid 44037537)
    • (2006) Artificial Intelligence , vol.170 , Issue.11 , pp. 1017-1029
    • Mueller, E.T.1
  • 81
    • 0000640432 scopus 로고
    • Inductive logic programming
    • Muggleton, S. 1991. Inductive logic programming. New Generation Computing 8(4), 295-318.
    • (1991) New Generation Computing , vol.8 , Issue.4 , pp. 295-318
    • Muggleton, S.1
  • 82
    • 77951503082 scopus 로고
    • Inverse entailment and Progol
    • Muggleton, S. 1995. Inverse entailment and Progol. New Generation Computing 13(3-4), 245-286.
    • (1995) New Generation Computing , vol.13 , Issue.3-4 , pp. 245-286
    • Muggleton, S.1
  • 84
    • 0028429573 scopus 로고
    • Inductive logic programming: Theory and methods
    • Muggleton, S. & Raedt, L. D. 1994. Inductive logic programming: theory and methods. Journal of Logic Programming 19/20, 629-679.
    • (1994) Journal of Logic Programming , vol.19-20 , pp. 629-679
    • Muggleton, S.1    Raedt, L.D.2
  • 86
    • 0029229419 scopus 로고
    • Reasoning about temporal relations: A maximal tractable subclass of Allen's interval algebra
    • ACM
    • Nebel, B. & Bürckert, H.-J. 1995. Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra. Journal of the ACM 42(1), 43-66.
    • (1995) Journal of the , vol.42 , Issue.1 , pp. 43-66
    • Nebel, B.1    Bürckert, H.-J.2
  • 91
    • 56149101020 scopus 로고    scopus 로고
    • Knowledge representation concepts for automated SLA management
    • Paschke, A. & Bichler, M. 2008. Knowledge representation concepts for automated SLA management. Decision Support Systems 46(1), 187-205.
    • (2008) Decision Support Systems , vol.46 , Issue.1 , pp. 187-205
    • Paschke, A.1    Bichler, M.2
  • 97
    • 0000431236 scopus 로고
    • Induction of logic programs: Foil and related systems
    • Quinlan, J. R. & Cameron-Jones, R. M. 1995. Induction of logic programs: foil and related systems. New Generation Computing 13, 287-312.
    • (1995) New Generation Computing , vol.13 , pp. 287-312
    • Quinlan, J.R.1    Cameron-Jones, R.M.2
  • 98
    • 0024610919 scopus 로고
    • A tutorial on hidden Markov models
    • IEEE
    • Rabiner, L. & Juang, B. 1989. A tutorial on hidden Markov models. Proceedings of the IEEE 77(2), 257-286.
    • (1989) Proceedings of the , vol.77 , Issue.2 , pp. 257-286
    • Rabiner, L.1    Juang, B.2
  • 99
    • 67349139131 scopus 로고    scopus 로고
    • Nonmonotonic abductive inductive learning
    • Ray, O. 2009. Nonmonotonic abductive inductive learning. Journal of Applied Logic 7(3), 329-340.
    • (2009) Journal of Applied Logic , vol.7 , Issue.3 , pp. 329-340
    • Ray, O.1
  • 101
    • 32044466073 scopus 로고    scopus 로고
    • Markov logic networks
    • DOI 10.1007/s10994-006-5833-1
    • Richardson, M. & Domingos, P. 2006. Markov logic networks. Machine Learning 62(1-2), 107-136. (Pubitemid 43202307)
    • (2006) Machine Learning , vol.62 , Issue.SPEC. ISS.1-2 , pp. 107-136
    • Richardson, M.1    Domingos, P.2
  • 103
    • 1642497296 scopus 로고    scopus 로고
    • The event calculus explained
    • M. & Veloso, M. (eds). Lecture Notes in Artificial Intelligence 1600 Springer
    • Shanahan, M. 1999. The event calculus explained. In Artificial Intelligence Today, Wooldridge, M. & Veloso, M. (eds). Lecture Notes in Artificial Intelligence 1600, 409-430. Springer.
    • (1999) Artificial Intelligence Today, Wooldridge , pp. 409-430
    • Shanahan, M.1
  • 107
    • 29344465423 scopus 로고    scopus 로고
    • Discriminative training of Markov logic networks
    • Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05
    • Singla, P. & Domingos, P. 2005. Discriminative training of Markov logic networks. In Proceedings of the AAAI Conference on Artificial Intelligence, Veloso, M. M. & Kambhampati, S. (eds). 868-873. (Pubitemid 43006718)
    • (2005) Proceedings of the National Conference on Artificial Intelligence , vol.2 , pp. 868-873
    • Singla, P.1    Domingos, P.2
  • 110
    • 33748281132 scopus 로고    scopus 로고
    • Application of abductive ILP to learning metabolic network inhibition from temporal data
    • DOI 10.1007/s10994-006-8988-x, Special ILP Mega-Issue: ILP-2003 and ILP-2004; ILP-2003 Guest Editors: Tamas Horvath and Akihiro Yamamoto; ILP-2004 Guest Editors: Rui Camacho, Ross King and Ashwin Srinivasan
    • Tamaddoni-Nezhad, A., Chaleil, R., Kakas, A. C. & Muggleton, S. 2006. Application of abductive ILP to learning metabolic network inhibition from temporal data. Machine Learning 64(1-3), 209-230. (Pubitemid 44320252)
    • (2006) Machine Learning , vol.64 , Issue.1-3 , pp. 209-230
    • Tamaddoni-Nezhad, A.1    Chaleil, R.2    Kakas, A.3    Muggleton, S.4
  • 112
    • 0033164651 scopus 로고    scopus 로고
    • From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
    • Thielscher, M. 1999. From situation calculus to fluent calculus: state update axioms as a solution to the inferential frame problem. Artificial Intelligence 111(1-2), 277-299.
    • (1999) Artificial Intelligence , vol.111 , Issue.1-2 , pp. 277-299
    • Thielscher, M.1
  • 113
    • 0035450098 scopus 로고    scopus 로고
    • The Qualification Problem: A solution to the problem of anomalous models
    • DOI 10.1016/S0004-3702(01)00131-X, PII S000437020100131X
    • Thielscher, M. 2001. The qualification problem: a solution to the problem of anomalous models. Artificial Intelligence 131(1-2), 1-37. (Pubitemid 32798576)
    • (2001) Artificial Intelligence , vol.131 , Issue.1-2 , pp. 1-37
    • Thielscher, M.1
  • 116
    • 38049173466 scopus 로고    scopus 로고
    • Towards data mining without information on knowledge structure
    • Kok, J., Koronacki, J., Lopez de Mantaras, R., Matwin, S., Mladenic D. & Skowron, A. (eds
    • Vautier, A., Cordier, M.-O. & Quiniou, R. 2007. Towards data mining without information on knowledge structure. In Knowledge Discovery in Databases, Kok, J., Koronacki, J., Lopez de Mantaras, R., Matwin, S., Mladenic, D. & Skowron, A. (eds). 300-311.
    • (2007) Knowledge Discovery in Databases , pp. 300-311
    • Vautier, A.1    Cordier, M.-O.2    Quiniou, R.3
  • 120
    • 78650895430 scopus 로고    scopus 로고
    • Recognizing objects in smart homes based on human interaction
    • In ACIVS 2 Blanc-Talon, J., Bone, D., Philips, W., Popescu, D. C. & Scheunders, P., (eds) Springer
    • Wu, C. & Aghajan, H. K. 2010. Recognizing objects in smart homes based on human interaction. In ACIVS (2), Blanc-Talon, J., Bone, D., Philips, W., Popescu, D. C. & Scheunders, P., (eds). Lecture Notes in Computer Science 6475, 131-142. Springer.
    • (2010) Lecture Notes in Computer Science , vol.6475 , pp. 131-142
    • Wu, C.1    Aghajan, H.K.2
  • 121
    • 85028272516 scopus 로고    scopus 로고
    • Transactions on systems
    • IEEE
    • Wu, C. & Aghajan, H. K. 2011. User-centric environment discovery with camera networks in smart homes. IEEE Transactions on Systems, Man, and Cybernetics, Part A 41(2), 375-383.
    • Man, and Cybernetics, Part A , vol.41 , Issue.2 , pp. 375-383
    • Wu, C.1    Aghajan, H.K.2
  • 122
    • 78650433697 scopus 로고    scopus 로고
    • Learning logic rules for scene interpretation based on Markov logic networks
    • Springer Zha, H., Ichiro Taniguchi, R. & Maybank, S. J. (Eds). Lecture Notes in Computer Science
    • Xu, M. & Petrou, M. 2009. Learning logic rules for scene interpretation based on Markov logic networks. In ACCV (3), Zha, H., ichiro Taniguchi, R. & Maybank, S. J. (eds). Lecture Notes in Computer Science 5996, 341-350. Springer.
    • (2009) ACCV (3) , vol.5996 , pp. 341-350
    • Xu, M.1    Petrou, M.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.