{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T04:40:09Z","timestamp":1743828009317,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642319501"},{"type":"electronic","value":"9783642319518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31951-8_14","type":"book-chapter","created":{"date-parts":[[2012,7,21]],"date-time":"2012-07-21T00:56:20Z","timestamp":1342832180000},"page":"113-129","source":"Crossref","is-referenced-by-count":8,"title":["Interleaved Inductive-Abductive Reasoning for Learning Complex Event Models"],"prefix":"10.1007","author":[{"given":"Krishna","family":"Dubba","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehul","family":"Bhatt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Dylla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David C.","family":"Hogg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony G.","family":"Cohn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Qualitative Spatial Representation and Reasoning: Trends and Future Directions","author":"M. Bhatt","year":"2010","unstructured":"Bhatt, M.: Reasoning about space, actions and change: A paradigm for applications of spatial reasoning. In: Qualitative Spatial Representation and Reasoning: Trends and Future Directions. IGI Global, USA (2010)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Borg, M., Thirde, D., Ferryman, J., Fusier, F., Valentin, V., Br\u00e9mond, F., Thonnat, M.: Video surveillance for aircraft activity monitoring. In: IEEE Conf. on Advanced Video and Signal Based Surveillance, AVSS 2005, pp. 16\u201321. IEEE (2006)","DOI":"10.1109\/AVSS.2005.1577236"},{"issue":"1-2","key":"14_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.artint.2005.04.006","volume":"167","author":"C.J. Needham","year":"2005","unstructured":"Needham, C.J., Santos, P.E., Magee, D.R., Devin, V., Hogg, D.C., Cohn, A.G.: Protocols from perceptual observations. Artificial Intelligence\u00a0167(1-2), 103\u2013136 (2005)","journal-title":"Artificial Intelligence"},{"key":"14_CR4","unstructured":"Dubba, K.S.R., Cohn, A.G., Hogg, D.C.: Event model learning from complex videos using ILP. In: ECAI, pp. 93\u201398 (2010)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Menon, V., Jayaraman, B., Govindaraju, V.: Integrating recognition and reasoning in smart environments. In: IET International Conf. on Intelligent Environments, pp. 1\u20138 (July 2008)","DOI":"10.1049\/cp:20081148"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Mooney, R.J.: Integrating abduction and induction in machine learning. In: Flach, P.A., Kakas, A.C. (eds.) Abduction and Induction, pp. 181\u2013191. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-94-017-0606-3_12"},{"key":"14_CR7","unstructured":"Hazarika, S.M., Cohn, A.G.: Abducing qualitative spatio-temporal histories from partial observations. In: Int. Conf. on Principles of Know. Representation and Reasoning (2002)"},{"key":"14_CR8","unstructured":"Bhatt, M., Flanagan, G.: Spatio-temporal abduction for scenario and narrative completion. In: Proceedings of the International Workshop on Spatio-Temporal Dynamics, ECAI 2010, pp. 31\u201336 (2010)"},{"issue":"1","key":"14_CR9","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput.\u00a04(1), 67\u201395 (1986)","journal-title":"New Gen. Comput."},{"key":"14_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/3-540-36468-4_12","volume-title":"Inductive Logic Programming","author":"S. Moyle","year":"2003","unstructured":"Moyle, S.: Using Theory Completion to Learn a Robot Navigation Control Program. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 182\u2013197. Springer, Heidelberg (2003)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/j.jal.2008.10.007","volume":"7","author":"O. Ray","year":"2009","unstructured":"Ray, O.: Nonmonotonic abductive inductive learning. Journal of Applied Logic\u00a07, 329\u2013340 (2009)","journal-title":"Journal of Applied Logic"},{"issue":"3","key":"14_CR12","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF03037531","volume":"18","author":"A.C. Kakas","year":"2000","unstructured":"Kakas, A.C., Riguzzi, F.: Abductive concept learning. New Generation Computing\u00a018(3), 243\u2013294 (2000)","journal-title":"New Generation Computing"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1009867806624","volume":"3","author":"H. Blockeel","year":"1999","unstructured":"Blockeel, H., De Raedt, L., Jacobs, N., Demoen, B.: Scaling up ILP by learning from interpretations. Data Mining and Knowledge Discovery\u00a03(1), 59\u201393 (1999)","journal-title":"Data Mining and Knowledge Discovery"},{"key":"14_CR14","unstructured":"Cohn, A.G., Renz, J.: Qualitative spatial reasoning. In: van Harmelen, F., Lifschitz, V., Porter, B. (eds.) Handbook of Knowledge Representation. Elsevier (2007)"},{"issue":"1","key":"14_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/13875868.2010.548568","volume":"11","author":"M. Bhatt","year":"2011","unstructured":"Bhatt, M., Guesgen, H., Woelfl, S., Hazarika, S.: Qualitative spatial and temporal reasoning: Emerging applications, trends, and directions. Spatial Cognition & Computation\u00a011(1), 1\u201314 (2011)","journal-title":"Spatial Cognition & Computation"},{"key":"14_CR16","unstructured":"Randell, D.A., Cui, Z., Cohn, A.G.: A spatial logic based on regions and connection. In: Int. Conf. on Principles of Know. Representation and Reasoning (1992)"},{"issue":"1","key":"14_CR17","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1080\/13875860801926884","volume":"8","author":"M. Bhatt","year":"2008","unstructured":"Bhatt, M., Loke, S.: Modelling dynamic spatial systems in the situation calculus. Spatial Cognition and Computation\u00a08(1), 86\u2013130 (2008)","journal-title":"Spatial Cognition and Computation"},{"issue":"3&4","key":"14_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Gen. Comp.\u00a013(3&4), 245\u2013286 (1995)","journal-title":"New Gen. Comp."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Poole, D., Goebel, R., Aleliunas, R.: Theorist: A logical reasoning system for defaults and diagnosis. In: The Knowledge Frontier, pp. 331\u2013352. Springer (1987)","DOI":"10.1007\/978-1-4612-4792-0_13"},{"issue":"5","key":"14_CR20","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1093\/logcom\/4.5.513","volume":"4","author":"R. Miller","year":"1994","unstructured":"Miller, R., Shanahan, M.: Narratives in the situation calculus. J. Log. Comput.\u00a04(5), 513\u2013530 (1994)","journal-title":"J. Log. Comput."},{"issue":"6","key":"14_CR21","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02(6), 719 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM\u00a026, 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11562931_14","volume-title":"Logic Programming","author":"H. Christiansen","year":"2005","unstructured":"Christiansen, H., Dahl, V.: HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. In: Gabbrielli, M., Gupta, G. (eds.) ICLP 2005. LNCS, vol.\u00a03668, pp. 159\u2013173. Springer, Heidelberg (2005)"},{"issue":"1","key":"14_CR24","first-page":"97","volume":"35","author":"N. Weghe Van de","year":"2006","unstructured":"Van de Weghe, N., Cohn, A.G., De Tre, G., De Maeyer, P.: A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems. Control and Cybernetics\u00a035(1), 97 (2006)","journal-title":"Control and Cybernetics"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31951-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T04:17:27Z","timestamp":1743826647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31951-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642319501","9783642319518"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31951-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}