{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:05:27Z","timestamp":1725987927021},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319999050"},{"type":"electronic","value":"9783319999067"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-99906-7_3","type":"book-chapter","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T06:45:38Z","timestamp":1535006738000},"page":"33-47","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Calimeri","sequence":"first","affiliation":[]},{"given":"Francesco","family":"Cauteruccio","sequence":"additional","affiliation":[]},{"given":"Aldo","family":"Marzullo","sequence":"additional","affiliation":[]},{"given":"Claudio","family":"Stamile","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,24]]},"reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-319-61660-5_19","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Alviano","year":"2017","unstructured":"Alviano, M., et al.: The ASP system DLV2. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 215\u2013221. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_19"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Beck, H., Dao-Tran, M., Eiter, T., Fink, M.: LARS: A logic-based framework for analyzing reasoning over streams. In: AAAI, pp. 1431\u20131438. AAAI Press (2015)","DOI":"10.1609\/aaai.v29i1.9408"},{"key":"3_CR3","unstructured":"Bratko, I.: Prolog Programming for Artificial Intelligence, 4th edn. Addison-Wesley (2012)"},{"issue":"12","key":"3_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"3_CR5","unstructured":"The CADE ATP System Competition (2011). http:\/\/www.cs.miami.edu\/~tptp\/CASC"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/978-3-642-04238-6_46","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F Calimeri","year":"2009","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: An ASP system with functions, lists, and sets. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS (LNAI), vol. 5753, pp. 483\u2013489. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04238-6_46"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.3233\/IA-170104","volume":"11","author":"F Calimeri","year":"2017","unstructured":"Calimeri, F., Fusc\u00e0, D., Perri, S., Zangari, J.: I-DLV: the new intelligent grounder of DLV. Intelligenza Artificiale 11(1), 5\u201320 (2017)","journal-title":"Intelligenza Artificiale"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.artint.2015.09.008","volume":"231","author":"F Calimeri","year":"2016","unstructured":"Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: Design and results of the fifth answer set programming competition. Artif. Intell. 231, 151\u2013181 (2016)","journal-title":"Artif. Intell."},{"key":"3_CR9","unstructured":"Calimeri, F., Marzullo, A., Stamile, C., Terracina, G.: Graph based neural networks for automatic classification of multiple sclerosis clinical courses. In: Proceedings of the European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning (ESANN 18) (2018, forthcoming)"},{"key":"3_CR10","unstructured":"Chabierski, P., Russo, A., Law, M., Broda, K.: Machine comprehension of text using combinatory categorial grammar and answer set programs. In: COMMONSENSE. CEUR Workshop Proceedings, vol. 2052. CEUR-WS.org (2017)"},{"key":"3_CR11","unstructured":"Constraint Handling Rules (2011). http:\/\/dtai.cs.kuleuven.be\/CHR\/"},{"issue":"5","key":"3_CR12","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.pediatrneurol.2012.02.018","volume":"46","author":"J Duun-Henriksen","year":"2012","unstructured":"Duun-Henriksen, J., Madsen, R., Remvig, L., Thomsen, C., Sorensen, H., Kjaer, T.: Automatic detection of childhood absence epilepsy seizures: toward a monitoring device. Pediatric Neurol. 46(5), 287\u2013292 (2012)","journal-title":"Pediatric Neurol."},{"key":"3_CR13","unstructured":"Fusc\u00e0, D., Calimeri, F., Zangari, J., Perri, S.: I-DLV+MS: preliminary report on an automatic ASP solver selector. In: RCRA@AI*IA. CEUR Workshop Proceedings, vol. 2011, pp. 26\u201332. CEUR-WS.org (2017)"},{"key":"3_CR14","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with clingo 5. In: ICLP (Technical Communications). OASICS, vol. 52, pp. 2:1\u20132:15. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/978-3-642-20895-9_40","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"M Gebser","year":"2011","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T., Schneider, M.T., Ziller, S.: A portfolio solver for answer set programming: preliminary report. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 352\u2013357. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20895-9_40"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-24206-9_21","volume-title":"Datalog Reloaded","author":"M Gelfond","year":"2011","unstructured":"Gelfond, M.: Knowledge representation language P-Log \u2013 A short introduction. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog 2.0 2010. LNCS, vol. 6702, pp. 369\u2013383. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24206-9_21"},{"key":"3_CR17","unstructured":"Gerevini, A., Long, D.: Plan constraints and preferences in PDDL3 - the language of the fifth international planning competition. Technical report (2005). http:\/\/cs-www.cs.yale.edu\/homes\/dvm\/papers\/pddl-ipc5.pdf"},{"key":"3_CR18","unstructured":"Ginsberg, M.L.: Essentials of Artificial Intelligence. Morgan Kaufmann (1993)"},{"key":"3_CR19","volume-title":"Deep Learning. Adaptive Computation and Machine Learning","author":"IJ Goodfellow","year":"2016","unstructured":"Goodfellow, I.J., Bengio, Y., Courville, A.C.: Deep Learning. Adaptive Computation and Machine Learning. MIT Press, Cambridge (2016)"},{"key":"3_CR20","unstructured":"Hornero, R., Ab\u00e1solo, D., Escudero, J., G\u00f3mez, C.: Nonlinear analysis of electroencephalogram and magnetoencephalogram recordings in patients with Alzheimer\u2019s disease. Philos. Trans. Roy. Soc. London A Mathe. Phys. Eng. Sci. 367(1887), 317\u2013336 (2009)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1007\/978-3-319-68612-7_73","volume-title":"Artificial Neural Networks and Machine Learning \u2013 ICANN 2017","author":"A Ion-M\u0103rgineanu","year":"2017","unstructured":"Ion-M\u0103rgineanu, A., et al.: A comparison of machine learning approaches for classifying multiple sclerosis courses using MRSI and brain segmentations. In: Lintas, A., Rovetta, S., Verschure, P.F.M.J., Villa, A.E.P. (eds.) ICANN 2017. LNCS, vol. 10614, pp. 643\u2013651. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68612-7_73"},{"key":"3_CR22","unstructured":"Kingma, D.P., Ba, J.: Adam: A method for stochastic optimization. CoRR abs\/1412.6980 (2014)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"478","DOI":"10.3389\/fnins.2016.00478","volume":"10","author":"G Kocevar","year":"2016","unstructured":"Kocevar, G., et al.: Graph theory-based brain connectivity for automatic classification of multiple sclerosis clinical courses. Frontiers Neurosci. 10, 478 (2016)","journal-title":"Frontiers Neurosci."},{"issue":"4\u20135","key":"3_CR24","first-page":"511","volume":"15","author":"M Law","year":"2015","unstructured":"Law, M., Russo, A., Broda, K.: Learning weak constraints in answer set programming. TPLP 15(4\u20135), 511\u2013525 (2015)","journal-title":"TPLP"},{"issue":"5\u20136","key":"3_CR25","first-page":"834","volume":"16","author":"M Law","year":"2016","unstructured":"Law, M., Russo, A., Broda, K.: Iterative learning of answer set programs from context dependent examples. TPLP 16(5\u20136), 834\u2013848 (2016)","journal-title":"TPLP"},{"issue":"11","key":"3_CR26","doi-asserted-by":"publisher","first-page":"2278","DOI":"10.1109\/5.726791","volume":"86","author":"Y LeCun","year":"1998","unstructured":"LeCun, Y., Bottou, L., Bengio, Y., Haffner, P.: Gradient-based learning applied to document recognition. Proce. IEEE 86(11), 2278\u20132324 (1998)","journal-title":"Proce. IEEE"},{"issue":"3","key":"3_CR27","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1145\/1149114.1149117","volume":"7","author":"N Leone","year":"2006","unstructured":"Leone, N., et al.: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3), 499\u2013562 (2006)","journal-title":"ACM Trans. Comput. Log."},{"issue":"6","key":"3_CR28","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1017\/S1471068413000094","volume":"14","author":"M Maratea","year":"2014","unstructured":"Maratea, M., Pulina, L., Ricca, F.: A multi-engine approach to answer-set programming. Theor. Pract. Logic Program. 14(6), 841\u2013868 (2014)","journal-title":"Theor. Pract. Logic Program."},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-319-11113-1_16","volume-title":"Web Reasoning and Rule Systems","author":"M Nickles","year":"2014","unstructured":"Nickles, M., Mileo, A.: Web stream reasoning using probabilistic answer set programming. In: Kontchakov, R., Mugnier, M.-L. (eds.) RR 2014. LNCS, vol. 8741, pp. 197\u2013205. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11113-1_16"},{"issue":"5\u20136","key":"3_CR30","first-page":"866","volume":"16","author":"C Redl","year":"2016","unstructured":"Redl, C.: The dlvhex system for knowledge representation: recent advances (system description). TPLP 16(5\u20136), 866\u2013883 (2016)","journal-title":"TPLP"},{"issue":"3","key":"3_CR31","doi-asserted-by":"publisher","first-page":"1059","DOI":"10.1016\/j.neuroimage.2009.10.003","volume":"52","author":"M Rubinov","year":"2010","unstructured":"Rubinov, M., Sporns, O.: Complex network measures of brain connectivity: Uses and interpretations. NeuroImage 52(3), 1059\u20131069 (2010)","journal-title":"NeuroImage"},{"key":"3_CR32","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence - A Modern Approach (3. internat. edn.). Pearson Education (2010). http:\/\/vig.pearsoned.com\/store\/product\/1,1207,store-12521_isbn-0136042597,00.html"},{"key":"3_CR33","unstructured":"smt-lib-web: The Satisfiability Modulo Theories Library (2011). http:\/\/www.smtlib.org\/"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Stamile, C., et al.: A longitudinal model for variations detection in white matter fiber-bundles. In: 2015 International Conference on Systems, Signals and Image Processing (IWSSIP), pp. 57\u201360 (2015)","DOI":"10.1109\/IWSSIP.2015.7314176"},{"issue":"10053","key":"3_CR35","doi-asserted-by":"publisher","first-page":"1545","DOI":"10.1016\/S0140-6736(16)31678-6","volume":"388","author":"T Vos","year":"2016","unstructured":"Vos, T., Allen, C., Arora, M., Barber, R., Bhutta, Z., Brown, A.: Gbd 2015 disease and injury incidence and prevalence collaborators. global, regional, and national incidence, prevalence, and years lived with disability for 310 diseases and injuries, 1990\u20132015: a systematic analysis for the global burden of disease study 2015. Lancet 388(10053), 1545\u20131602 (2016)","journal-title":"Lancet"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Wieser, H., Schindler, K., Zumsteg, D.: EEG in Creutzfeldt-Jakob disease. Clinical Neurophysiol. 117(5), 935\u2013951 (2006)","DOI":"10.1016\/j.clinph.2005.12.007"}],"container-title":["Lecture Notes in Computer Science","Rules and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99906-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,29]],"date-time":"2022-08-29T22:32:04Z","timestamp":1661812324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99906-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319999050","9783319999067"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99906-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}