乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,26]],"date-time":"2024-03-26T18:00:57Z","timestamp":1711476057265},"reference-count":66,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2015,6,20]],"date-time":"2015-06-20T00:00:00Z","timestamp":1434758400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s10994-015-5512-1","type":"journal-article","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T16:49:47Z","timestamp":1434732587000},"page":"555-585","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":40,"title":["Incremental learning of event definitions with Inductive Logic Programming"],"prefix":"10.1007","volume":"100","author":[{"given":"Nikos","family":"Katzouris","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Artikis","sequence":"additional","affiliation":[]},{"given":"Georgios","family":"Paliouras","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"5512_CR1","unstructured":"Ade, H., & Denecker, M. (1995). AILP: Abductive inductive logic programming. In Proceedings of the international joint conference on artificial intelligence (IJCAI)."},{"key":"5512_CR2","doi-asserted-by":"crossref","unstructured":"Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S. (2009). Learning operational requirements from goal models. In Proceedings of the 31st international conference on software engineering (pp. 265\u2013275). IEEE Computer Society.","DOI":"10.1109\/ICSE.2009.5070527"},{"issue":"3\u20134","key":"5512_CR3","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/s00165-009-0128-5","volume":"22","author":"D Alrajeh","year":"2010","unstructured":"Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S. (2010). Deriving non-zeno behaviour models from goal models using ILP. Formal Aspects of Computing, 22(3\u20134), 217\u2013241.","journal-title":"Formal Aspects of Computing"},{"key":"5512_CR4","unstructured":"Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S. (2011). An inductive approach for modal transition system refinement. In Technical communications of the international conference of logic programming ICLP (pp. 106\u2013116). Citeseer."},{"key":"5512_CR5","doi-asserted-by":"crossref","unstructured":"Alrajeh, D., Kramer, J., Russo, A., & Uchitel, S. (2012). Learning from vacuously satisfiable scenario-based specifications. In Proceedings of the international conference on fundamental approaches to software engineering (FASE).","DOI":"10.1007\/978-3-642-28872-2_26"},{"issue":"2","key":"5512_CR6","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1142\/S021821301000011X","volume":"19","author":"A Artikis","year":"2010","unstructured":"Artikis, A., Skarlatidis, A., & Paliouras, G. (2010). Behaviour recognition from video content: A logic programming approach. International Journal on Artificial Intelligence Tools, 19(2), 193\u2013209.","journal-title":"International Journal on Artificial Intelligence Tools"},{"issue":"04","key":"5512_CR7","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1017\/S0269888912000264","volume":"27","author":"A Artikis","year":"2012","unstructured":"Artikis, A., Skarlatidis, A., Portet, F., & Paliouras, G. (2012). Logic-based event recognition. Knowledge Engineering Review, 27(04), 469\u2013506.","journal-title":"Knowledge Engineering Review"},{"issue":"4","key":"5512_CR8","doi-asserted-by":"crossref","first-page":"895","DOI":"10.1109\/TKDE.2014.2356476","volume":"27","author":"A Artikis","year":"2015","unstructured":"Artikis, A., Sergot, M., & Paliouras, G. (2015). An event calculus for event recognition. IEEE Transactions on Knowledge and Data Engineering (TKDE), 27(4), 895\u2013908.","journal-title":"IEEE Transactions on Knowledge and Data Engineering (TKDE)"},{"key":"5512_CR9","unstructured":"Athakravi, D., Corapi, D., Broda, K., & Russo, A. (2013). Learning through hypothesis refinement using answer set programming. In Proceedings of the 23rd international conference of inductive logic programming (ILP)."},{"key":"5512_CR10","doi-asserted-by":"crossref","unstructured":"Badea, L. (2001). A refinement operator for theories. In Proceedings of the international conference on inductive logic programming (ILP).","DOI":"10.1007\/3-540-44797-0_1"},{"key":"5512_CR11","unstructured":"Biba, M., Basile, T. M. A., Ferilli, S., & Esposito, F. (2006). Improving scalability in ILP incremental systems. In Proceedings of CILC 2006-Italian conference on computational logic, Bari, Italy, pp. 26\u201327."},{"key":"5512_CR12","unstructured":"Bragaglia, S. & Ray, O. (2014). Nonmonotonic learning in large biological networks. In Proceedings of the international conference on inductive logic programming (ILP)."},{"key":"5512_CR13","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/978-3-642-04584-4_5","volume":"260","author":"M Cattafi","year":"2010","unstructured":"Cattafi, M., Lamma, E., Riguzzi, F., & Storari, S. (2010). Incremental declarative process mining. Smart Information and Knowledge Management, 260, 103\u2013127.","journal-title":"Smart Information and Knowledge Management"},{"key":"5512_CR14","doi-asserted-by":"crossref","unstructured":"Cervesato, I., & Montanari, A. (2000). A calculus of macro-events: Progress report. In Proceedings of the international workshop on temporal representation and reasoning (TIME). IEEE.","DOI":"10.1109\/TIME.2000.856584"},{"issue":"2","key":"5512_CR15","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.artmed.2005.06.001","volume":"38","author":"H Chaudet","year":"2006","unstructured":"Chaudet, H. (2006). Extending the event calculus for tracking epidemic spread. Artificial Intelligence in Medicine, 38(2), 137\u2013156.","journal-title":"Artificial Intelligence in Medicine"},{"key":"5512_CR16","unstructured":"Corapi, D., Ray, O., Russo, A., Bandara, A., & Lupu, E. (2008). Learning rules from user behaviour. In Second international workshop on the induction of process models."},{"key":"5512_CR17","unstructured":"Corapi, D., Russo, A., & Lupu, E. (2010). Inductive logic programming as abductive search. In Technical communications of the international conference on logic programming (ICLP)."},{"key":"5512_CR18","doi-asserted-by":"crossref","unstructured":"Corapi, D., Russo, A., & Lupu, E. (2012). Inductive logic programming in answer set programming. In Proceedings of international conference on inductive logic programming (ILP). Springer.","DOI":"10.1007\/978-3-642-31951-8_12"},{"key":"5512_CR19","unstructured":"De Raedt, L., & Bruynooghe, M. (1994). Interactive theory revision. In Machine learning: A multistrategy approach, pp. 239\u2013263."},{"key":"5512_CR20","doi-asserted-by":"crossref","unstructured":"Denecker, M., & Kakas, A. (2002). Abduction in logic programming. In Computational logic: Logic programming and beyond, pp. 402\u2013436.","DOI":"10.1007\/3-540-45628-7_16"},{"key":"5512_CR21","unstructured":"Di Mauro, N., Esposito, F., Ferilli, S., & Basile, T. M. A. (2004). A backtracking strategy for order-independent incremental learning. In Proceedings of the European conference on artificial intelligence (ECAI)."},{"key":"5512_CR22","doi-asserted-by":"crossref","unstructured":"Di Mauro, N., Esposito, F., Ferilli, S., & Basile, T. M. (2005). Avoiding order effects in incremental learning. In AIIA 2005: Advances in artificial intelligence, pp. 110\u2013121.","DOI":"10.1007\/11558590_12"},{"key":"5512_CR23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10994-008-5079-1","volume":"73","author":"TG Dietterich","year":"2008","unstructured":"Dietterich, T. G., Domingos, P., Getoor, L., Muggleton, S., & Tadepalli, P. (2008). Structured machine learning: The next ten years. Machine Learning, 73, 3\u201323.","journal-title":"Machine Learning"},{"issue":"1","key":"5512_CR24","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s10994-009-5116-8","volume":"76","author":"AL Duboc","year":"2009","unstructured":"Duboc, A. L., Paes, A., & Zaverucha, G. (2009). Using the bottom clause and mode declarations in FOL theory revision from examples. Machine Learning, 76(1), 73\u2013107.","journal-title":"Machine Learning"},{"key":"5512_CR25","unstructured":"Eshghi, K., & Kowalski, R. (1989). Abduction compared with negation by failure. In Proceedings of the 6th international conference on logic programming."},{"issue":"1\u20132","key":"5512_CR26","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1023\/A:1007638124237","volume":"28","author":"F Esposito","year":"2000","unstructured":"Esposito, F., Semeraro, G., Fanizzi, N., & Ferilli, S. (2000). Multistrategy theory revision: Induction and abduction in inthelex. Machine Learning, 28(1\u20132), 133\u2013156.","journal-title":"Machine Learning"},{"issue":"3","key":"5512_CR27","doi-asserted-by":"crossref","first-page":"213","DOI":"10.3233\/IDA-2004-8302","volume":"8","author":"F Esposito","year":"2004","unstructured":"Esposito, F., Ferilli, S., Fanizzi, N., Basile, T. M. A., & Di Mauro, N. (2004). Incremental learning and concept drift in inthelex. Intelligent Data Analysis, 8(3), 213\u2013237.","journal-title":"Intelligent Data Analysis"},{"key":"5512_CR28","volume-title":"Event processing in action","author":"O Etzion","year":"2010","unstructured":"Etzion, O., & Niblett, P. (2010). Event processing in action. Greenwich: Manning Publications Co."},{"issue":"3","key":"5512_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2200\/S00457ED1V01Y201211AIM019","volume":"6","author":"M Gebser","year":"2012","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2012). Answer set solving in practice. Synthesis Lectures on Artificial Intelligence and Machine Learning, 6(3), 1\u2013238.","journal-title":"Synthesis Lectures on Artificial Intelligence and Machine Learning"},{"key":"5512_CR30","unstructured":"Gelfond, M., & Lifschitz, V. (1988). The stable model semantics for logic programming. In International conference on logic programming, pp. 1070\u20131080."},{"key":"5512_CR31","unstructured":"Kakas, A., & Mancarella, P. (1990). Generalised stable models: A semantics for abduction. In Ninth European conference on artificial intelligence (ECAI-90), pp. 385\u2013391."},{"key":"5512_CR32","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A Kakas","year":"1993","unstructured":"Kakas, A., Kowalski, R., & Toni, F. (1993). Abductive logic programming. Journal of Logic and Computation, 2, 719\u2013770.","journal-title":"Journal of Logic and Computation"},{"key":"5512_CR33","doi-asserted-by":"crossref","unstructured":"Kimber, T., Broda, K., & Russo, A. (2009). Induction on failure: Learning connected horn theories. In Logic programming and nonmonotonic reasoning, pp. 169\u2013181.","DOI":"10.1007\/978-3-642-04238-6_16"},{"issue":"1","key":"5512_CR34","doi-asserted-by":"crossref","first-page":"6796","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., & Sergot, M. (1986). A logic-based calculus of events. New Generation Computing, 4(1), 6796.","journal-title":"New Generation Computing"},{"issue":"1","key":"5512_CR35","first-page":"95","volume":"89","author":"O Kuzelka","year":"2008","unstructured":"Kuzelka, O., & Zelezny, F. (2008). A restarted strategy for efficient subsumption testing. Fundamenta Informaticae, 89(1), 95\u2013109.","journal-title":"Fundamenta Informaticae"},{"key":"5512_CR36","volume-title":"Learning in humans and machines: Towards an interdisciplinary science, chapter order effects in incremental learning","author":"P Langley","year":"1995","unstructured":"Langley, P. (1995). Learning in humans and machines: Towards an interdisciplinary science, chapter order effects in incremental learning. Amsterdam: Elsevier."},{"key":"5512_CR37","volume-title":"Inductive logic programming: Techniques and applications","author":"N Lavra\u010d","year":"1993","unstructured":"Lavra\u010d, N., & D\u017eeroski, S. (1993). Inductive logic programming: Techniques and applications. London: Routledge."},{"issue":"2","key":"5512_CR38","doi-asserted-by":"crossref","first-page":"1466","DOI":"10.1016\/j.eswa.2007.11.061","volume":"36","author":"H-F Li","year":"2009","unstructured":"Li, H.-F., & Lee, S.-Y. (2009). Mining frequent itemsets over data streams using efficient window sliding techniques. Expert Systems with Applications, 36(2), 1466\u20131477.","journal-title":"Expert Systems with Applications"},{"key":"5512_CR39","unstructured":"Li, H.-F., Lee, S.-Y., & Shan, M.-K. (2004). An efficient algorithm for mining frequent itemsets over the entire history of data streams. In Proceedings of first international workshop on knowledge discovery in data streams."},{"key":"5512_CR40","doi-asserted-by":"crossref","unstructured":"List, T., Bins, J., Vazquez, J., & Fisher, R. B. (2005). Performance evaluating the evaluator. In 2nd joint IEEE international workshop on visual surveillance and performance evaluation of tracking and surveillance (pp. 129\u2013136). IEEE.","DOI":"10.1109\/VSPETS.2005.1570907"},{"key":"5512_CR41","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming","author":"J Lloyd","year":"1987","unstructured":"Lloyd, J. (1987). Foundations of logic programming. Berlin: Springer."},{"key":"5512_CR42","volume-title":"The power of events: An introduction to complex event processing in distributed enterprise systems","author":"D Luckham","year":"2001","unstructured":"Luckham, D. (2001). The power of events: An introduction to complex event processing in distributed enterprise systems. Boston: Addison-Wesley Longman Publishing Co., Inc."},{"key":"5512_CR43","volume-title":"Event processing glossary, version 1.1","author":"D Luckham","year":"2008","unstructured":"Luckham, D., & Schulte, R. (2008). Event processing glossary, version 1.1. Trento: Event Processing Technical Society."},{"issue":"2","key":"5512_CR44","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1023\/B:MACH.0000023150.80092.40","volume":"55","author":"J Maloberti","year":"2004","unstructured":"Maloberti, J., & Sebag, M. (2004). Fast theta-subsumption with constraint satisfaction algorithms. Machine Learning, 55(2), 137\u2013174.","journal-title":"Machine Learning"},{"key":"5512_CR45","unstructured":"Mitchell, T. (1979). Version spaces: An approach to concept learning. PhD thesis, AAI7917262."},{"key":"5512_CR46","unstructured":"Moyle, S. (2003). An investigation into theory completion techniques in inductive logic. PhD thesis, University of Oxford."},{"key":"5512_CR47","volume-title":"Commonsense reasoning","author":"E Mueller","year":"2006","unstructured":"Mueller, E. (2006). Commonsense reasoning. Burlington: Morgan Kaufmann."},{"key":"5512_CR48","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1016\/S1574-6526(07)03017-9","volume":"3","author":"ET Mueller","year":"2008","unstructured":"Mueller, E. T. (2008). Event calculus. Foundations of Artificial Intelligence, 3, 671\u2013708.","journal-title":"Foundations of Artificial Intelligence"},{"issue":"3&4","key":"5512_CR49","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S Muggleton","year":"1995","unstructured":"Muggleton, S. (1995). Inverse entailment and Progol. New Generation Computing, 13(3&4), 245\u2013286.","journal-title":"New Generation Computing"},{"key":"5512_CR50","doi-asserted-by":"crossref","unstructured":"Muggleton, S., & Bryant, C. (2000). Theory completion using inverse entailment. In International conference on inductive logic programming, pp. 130\u2013146.","DOI":"10.1007\/3-540-44960-4_8"},{"key":"5512_CR51","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S., & De Raedt, L. (1994). Inductive logic programming: Theory and methods. The Journal of Logic Programming, 19, 629\u2013679.","journal-title":"The Journal of Logic Programming"},{"issue":"1","key":"5512_CR52","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10994-011-5259-2","volume":"86","author":"S Muggleton","year":"2012","unstructured":"Muggleton, S., De Raedt, L., Poole, D., Bratko, I., Flach, P., Inoue, K., et al. (2012). ILP turns 20. Machine Learning, 86(1), 3\u201323.","journal-title":"Machine Learning"},{"issue":"1","key":"5512_CR53","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10994-013-5358-3","volume":"94","author":"SH Muggleton","year":"2014","unstructured":"Muggleton, S. H., Lin, D., Pahlavi, N., & Tamaddoni-Nezhad, A. (2014). Meta-interpretive learning: Application to grammatical inference. Machine Learning, 94(1), 25\u201349.","journal-title":"Machine Learning"},{"key":"5512_CR54","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/3-540-44797-0_16","volume":"2157","author":"RP Otero","year":"2001","unstructured":"Otero, R. P. (2001). Induction of stable models. Inductive Logic Programming, 2157, 193\u2013205.","journal-title":"Inductive Logic Programming"},{"key":"5512_CR55","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-540-39917-9_20","volume":"2835","author":"RP Otero","year":"2003","unstructured":"Otero, R. P. (2003). Induction of the effects of actions by monotonic methods. Inductive Logic Programming, 2835, 299\u2013310.","journal-title":"Inductive Logic Programming"},{"key":"5512_CR56","unstructured":"Paschke, A. (2005). ECA-RuleML: An approach combining ECA rules with temporal interval-based KR event logics and transactional update logics. Technical report, Technische Universitat Munchen."},{"key":"5512_CR57","unstructured":"Ray, O. (2006). Using abduction for induction of normal logic programs. In ECAI\u201906 workshop on abduction and induction in articial intelligence and scientic modelling."},{"issue":"3","key":"5512_CR58","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/j.jal.2008.10.007","volume":"7","author":"O Ray","year":"2009","unstructured":"Ray, O. (2009). Nonmonotonic abductive inductive learning. Journal of Applied Logic, 7(3), 329\u2013340.","journal-title":"Journal of Applied Logic"},{"key":"5512_CR59","doi-asserted-by":"crossref","unstructured":"Ray, O., Broda, K., & Russo, A. (2003). Hybrid abductive inductive learning: A generalisation of progol. In Proceedings of the international conference in inductive logic programming (ILP).","DOI":"10.1007\/978-3-540-39917-9_21"},{"issue":"2","key":"5512_CR60","first-page":"95","volume":"19","author":"B Richards","year":"1995","unstructured":"Richards, B., & Mooney, R. (1995). Automated refinement of first-order horn clause domain theories. Machine Learning, 19(2), 95\u2013131.","journal-title":"Machine Learning"},{"key":"5512_CR61","doi-asserted-by":"crossref","unstructured":"Sakama, C. (2000). Inverse entailment in nonmonotonic logic programs. In Proceedings of the international conference on inductive logic programming (ILP).","DOI":"10.1007\/3-540-44960-4_13"},{"key":"5512_CR62","doi-asserted-by":"crossref","unstructured":"Sakama, C. (2001). Nonmonotomic inductive logic programming. In Logic programming and nonmotonic reasoning (pp. 62\u201380). Springer.","DOI":"10.1007\/3-540-45402-0_5"},{"issue":"2","key":"5512_CR63","doi-asserted-by":"crossref","first-page":"203231","DOI":"10.1145\/1055686.1055687","volume":"6","author":"C Sakama","year":"2005","unstructured":"Sakama, C. (2005). Induction from answer sets in nonmonotonic logic programs. ACM Transactions on Computational Logic, 6(2), 203231.","journal-title":"ACM Transactions on Computational Logic"},{"key":"5512_CR64","unstructured":"Santos, J., & Muggleton, S. (2010). Subsumer: A prolog theta-subsumption engine. In Technical communications of the 26th international conference on logic programming."},{"issue":"5","key":"5512_CR65","doi-asserted-by":"crossref","first-page":"1113","DOI":"10.1093\/comjnl\/bxp102","volume":"53","author":"M Sloman","year":"2010","unstructured":"Sloman, M., & Lupu, E. (2010). Engineering policy-based ubiquitous systems. The Computer Journal, 53(5), 1113\u20131127.","journal-title":"The Computer Journal"},{"key":"5512_CR66","unstructured":"Wrobel, S. (1996). First order theory refinement. In L. De Raedt (Ed.), Advances in inductive logic programming (pp. 14\u201333). Citeseer."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-015-5512-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10994-015-5512-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-015-5512-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,27]],"date-time":"2019-08-27T07:38:30Z","timestamp":1566891510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10994-015-5512-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,20]]},"references-count":66,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["5512"],"URL":"https:\/\/doi.org\/10.1007\/s10994-015-5512-1","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"value":"0885-6125","type":"print"},{"value":"1573-0565","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,20]]}}}