{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:59:46Z","timestamp":1725562786583},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642158216"},{"type":"electronic","value":"9783642158223"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15822-3_13","type":"book-chapter","created":{"date-parts":[[2010,8,12]],"date-time":"2010-08-12T07:21:34Z","timestamp":1281597694000},"page":"104-113","source":"Crossref","is-referenced-by-count":1,"title":["Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study"],"prefix":"10.1007","author":[{"given":"Rafael V.","family":"Borges","sequence":"first","affiliation":[]},{"given":"Artur","family":"d\u2019Avila Garcez","sequence":"additional","affiliation":[]},{"given":"Luis C.","family":"Lamb","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.jal.2008.10.002","volume":"7","author":"D. Alrajeh","year":"2009","unstructured":"Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Using abduction and induction for operational requirements elaboration. Journal of Applied Logic\u00a07(3), 275\u2013288 (2009)","journal-title":"Journal of Applied Logic"},{"issue":"6","key":"13_CR2","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1016\/0950-7051(96)81920-4","volume":"8","author":"R. Andrews","year":"1995","unstructured":"Andrews, R., Diederich, J., Tickle, A.B.: A survey and critique of techniques for extracting rules from neural networks. Knowledge-based Systems\u00a08(6), 373\u2013389 (1995)","journal-title":"Knowledge-based Systems"},{"issue":"11","key":"13_CR3","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1592761.1592781","volume":"52","author":"E.M. Clarke","year":"2009","unstructured":"Clarke, E.M., Emerson, E.A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM\u00a052(11), 74\u201384 (2009)","journal-title":"Commun. ACM"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/602382.602400","volume":"50","author":"E.A. Feigenbaum","year":"2003","unstructured":"Feigenbaum, E.A.: Some challenges and grand challenges for computational intelligence. Journal of ACM\u00a050(1), 32\u201340 (2003)","journal-title":"Journal of ACM"},{"volume-title":"Handbook of temporal reasoning in artificial intelligence","year":"2005","key":"13_CR5","unstructured":"Fisher, M., Gabbay, D., Vila, L. (eds.): Handbook of temporal reasoning in artificial intelligence. Elsevier, Amsterdam (2005)"},{"issue":"1","key":"13_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1008328630915","volume":"11","author":"A.S. d\u2019Avila Garcez","year":"1999","unstructured":"d\u2019Avila Garcez, A.S., Zaverucha, G.: The connectionist inductive learning and logic programming system. Applied Intelligence\u00a011(1), 59\u201377 (1999)","journal-title":"Applied Intelligence"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-46002-0_25","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Groce","year":"2002","unstructured":"Groce, A., Peled, D., Yannakakis, M.: Adaptive model checking. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, pp. 357\u2013370. Springer, Heidelberg (2002)"},{"key":"13_CR8","volume-title":"Neural Networks: A Compreensive Foundation","author":"S. Haykin","year":"1999","unstructured":"Haykin, S.: Neural Networks: A Compreensive Foundation, 2nd edn. Prentice Hall, Englewood Cliffs (1999)","edition":"2"},{"key":"13_CR9","unstructured":"Lamb, L.C., Borges, R.V., d\u2019Avila Garcez, A.S.: A connectionist cognitive model for temporal synchronization and learning. In: AAAI 2007, pp. 827\u2013832 (2007)"},{"key":"13_CR10","volume-title":"Machine Learning","author":"T.M. Mitchell","year":"1997","unstructured":"Mitchell, T.M.: Machine Learning. McGraw-Hill, New York (1997)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19-20","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., Raedt, L.: Inductive logic programming: Theory and methods. J. Logic Programming\u00a019-20, 629\u2013679 (1994)","journal-title":"J. Logic Programming"},{"issue":"2","key":"13_CR12","first-page":"225","volume":"7","author":"D. Peled","year":"2001","unstructured":"Peled, D., Vardi, M.Y., Yannakakis, M.: Black box checking. J. Autom. Lang. Comb.\u00a07(2), 225\u2013246 (2001)","journal-title":"J. Autom. Lang. Comb."}],"container-title":["Lecture Notes in Computer Science","Artificial Neural Networks \u2013 ICANN 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15822-3_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:40:57Z","timestamp":1606167657000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15822-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642158216","9783642158223"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15822-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}