{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:34Z","timestamp":1725664534815},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540620648"},{"type":"electronic","value":"9783540496373"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-62064-8_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:32:36Z","timestamp":1330295556000},"page":"134-145","source":"Crossref","is-referenced-by-count":0,"title":["Automatic analysis, verification and synthesis of rule-based real-time decision making systems with machine learning assistance"],"prefix":"10.1007","author":[{"given":"Basilis","family":"Boutsinas","sequence":"first","affiliation":[]},{"given":"Stergios","family":"Papadimitriou","sequence":"additional","affiliation":[]},{"given":"Georgios","family":"Pavlides","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"No.2","key":"13_CR1","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems Vol.8 No.2 (1986) 244\u2013263","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR2","unstructured":"Dejong, G.F.: Generalizations Based on Explanations. Proceedings of the 7th IJ-CAI, Morgan-Kaufmann Publishers (1981) 67\u201369"},{"issue":"No.2","key":"13_CR3","first-page":"145","volume":"1","author":"G.F. Dejong","year":"1986","unstructured":"Dejong, G.F., Mooney, R.J.: Explanation-Based Learning: An Alternative View. Machine Learning Vol.1 No.2 (1986) 145\u2013176","journal-title":"Machine Learning"},{"issue":"No.2","key":"13_CR4","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1145\/66443.66445","volume":"21","author":"T. Ellman","year":"1989","unstructured":"Ellman, T.: Explanation-Based Learning: A Survey of Programs and Perspectives. ACM Computing Surveys Vol.21 No.2 (1989) 163\u2013221","journal-title":"ACM Computing Surveys"},{"key":"13_CR5","unstructured":"Gallier, J.: Logic for Computer Science. John Wiley & Sons Inc. (1987)"},{"key":"13_CR6","unstructured":"Hanson, H., Jonsson, B.: A Framework for Reasoning about Time and Reliability. Proceedings of Real-Time Systems Symbosium IEEE (1989) 102\u2013111"},{"key":"13_CR7","unstructured":"Hill, W.L.: Machine Learning for Software Reuse. Proceedings of the 10th IJCAI, Morgan-Kaufmann Publishers (1987) 338\u2013344"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Jahanian, F., Mok, A.K.: Verifying Properties of Systems with Variable Timing Constraints. Proceedings of Real-Time Systems Symposium IEEE (1989) 319\u2013328","DOI":"10.1109\/REAL.1989.63584"},{"key":"13_CR9","unstructured":"Lucas, P., Van Der Gaag L.: Principles of Expert Systems. Addison-Wesley Pub-lishing Company (1991)"},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0004-3702(82)90040-6","volume":"No. 18","author":"T.M. Mitchell","year":"1982","unstructured":"Mitchell, T.M. \u201cGeneralization as Search\u201d Artificial Intelligence, No. 18, 1982, pp. 203\u2013226.","journal-title":"Artificial Intelligence"},{"key":"13_CR11","unstructured":"Mitchell, T.M.: Learning and Problem Solving. Proceedings of the 8th IJCAI, Morgan-Kaufmann Publishers (1983) 1139\u20131151"},{"key":"13_CR12","unstructured":"Mitchell, T.M., Mahadevan, S., Steinberg, L.I.: LEAP: A Learning Apprentice System for VLSI Design. Proceedings of the 9th IJCAI, Morgan-Kaufmann Publishers (1985) 573\u2013580"},{"issue":"No.1","key":"13_CR13","first-page":"47","volume":"1","author":"T.M. Mitchell","year":"1986","unstructured":"Mitchell, T.M., Keller, R.M., Kedar-Cabelli, S.T.: Explanation-Based Generalization: A Unifying View. Machine Learning Vol.1 No.1 (1986) 47\u201380","journal-title":"Machine Learning"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Mok, A.K.: Formal Analysis of Real-Time Equational Rule-Based Systems. Proceedings of Real-Time Systems Symposium IEEE (1989) 308\u2013318","DOI":"10.1109\/REAL.1989.63583"},{"key":"13_CR15","unstructured":"Nilsson, J.N.: Principles of Artificial Intelligence. Morgan-Kaufmann Publishers (1980)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62064-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:37:39Z","timestamp":1619573859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62064-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540620648","9783540496373"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-62064-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}