{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:48:49Z","timestamp":1725896929193},"publisher-location":"Berlin, Heidelberg","reference-count":22,"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_9","type":"book-chapter","created":{"date-parts":[[2012,7,20]],"date-time":"2012-07-20T20:56:20Z","timestamp":1342817780000},"page":"45-60","source":"Crossref","is-referenced-by-count":2,"title":["Integrating Model Checking and Inductive Logic Programming"],"prefix":"10.1007","author":[{"given":"Dalal","family":"Alrajeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Alrajeh, D.: Requirements Elaboration using Model Checking and Inductive Learning. PhD thesis, Imperial College London, London, U.K. (2010)","key":"9_CR1"},{"key":"9_CR2","doi-asserted-by":"publisher","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.: Deriving non-zeno behaviour models from goal models using ILP. J.\u00a0Form.\u00a0Asp.\u00a0Comput.\u00a022, 217\u2013241 (2010)","journal-title":"J.\u00a0Form.\u00a0Asp.\u00a0Comput."},{"unstructured":"Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: An inductive approach for modal transition system refinement. In: Technical Communications of the 27th Intl.\u00a0Conf.\u00a0on Logic Programming, pp. 106\u2013116 (2011)","key":"9_CR3"},{"issue":"4","key":"9_CR4","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1142\/S012905410300190X","volume":"14","author":"E.M. Clarke","year":"2003","unstructured":"Clarke, E.M., Fehnker, A., Han, Z., Krogh, B.H., Ouaknine, J., Stursberg, O., Theobald, M.: Abstraction and counterexample-guided refinement in model checking of hybrid systems. Int. J. Found. Comput. Sci.\u00a014(4), 583\u2013604 (2003)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"9_CR5","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999)"},{"unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proc.\u00a0of 5th Intl.\u00a0Conf.\u00a0on Logic Programming, pp. 1070\u20131080 (1988)","key":"9_CR6"},{"issue":"1","key":"9_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1008645800955","volume":"6","author":"D. Giannakopoulou","year":"1999","unstructured":"Giannakopoulou, D., Kramer, J., Cheung, S.: Behaviour analysis of distributed systems using the tracta approach. Autom. Softw. Eng.\u00a06(1), 7\u201335 (1999)","journal-title":"Autom. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: Proc.\u00a0of the 9th European Softw.\u00a0Eng.\u00a0Conf., pp. 257\u2013266 (2003)","key":"9_CR8","DOI":"10.1145\/949952.940106"},{"unstructured":"ITU. Message Sequence Charts. Intl.\u00a0Telecommunications Union, Telecommunication Standardisation Sector (1996)","key":"9_CR9"},{"doi-asserted-by":"crossref","unstructured":"Jackson, M.: The world and the machine. In: Proceedings of the 17th International Conference on Software Engineering, pp. 283\u2013292 (1995)","key":"9_CR10","DOI":"10.1145\/225014.225041"},{"issue":"7","key":"9_CR11","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Communications of the ACM\u00a019(7), 371\u2013384 (1976)","journal-title":"Communications of the ACM"},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"doi-asserted-by":"crossref","unstructured":"Letier, E., van Lamsweerde, A.: Deriving operational software specifications from system goals. In: Proc.\u00a0of 10th ACM SIGSOFT Symp.\u00a0on Foundations of Softw.\u00a0Eng., pp. 119\u2013128 (2002)","key":"9_CR13","DOI":"10.1145\/587051.587070"},{"doi-asserted-by":"crossref","unstructured":"Lifschitz, V.: Answer set planning. In: ICLP, pp. 23\u201337 (1999)","key":"9_CR14","DOI":"10.1007\/3-540-46767-X_28"},{"unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley and Sons (1999)","key":"9_CR15"},{"doi-asserted-by":"crossref","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer (1992)","key":"9_CR16","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"9_CR17","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 Generation Computing\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"issue":"suppl. 1","key":"9_CR18","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., de Raedt, L.: Inductive logic programming: Theory and methods. The Journal of Logic Programming\u00a019-20(suppl. 1), 629\u2013679 (1994)","journal-title":"The Journal of Logic Programming"},{"unstructured":"N\u00e9dellec, C., Rouveirol, C., Ad\u00e9, H., Bergadano, F., Tausend, B.: Declarative bias in ILP. In: Advances in Inductive Logic Programming, vol.\u00a032, pp. 82\u2013103 (1996)","key":"9_CR19"},{"issue":"3","key":"9_CR20","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. J.\u00a0of Applied Logic\u00a07(3), 329\u2013340 (2009)","journal-title":"J.\u00a0of Applied Logic"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-009-5113-y","volume":"76","author":"C. Sakama","year":"2009","unstructured":"Sakama, C., Inoue, K.: Brave induction: a logical framework for learning from incomplete information. Machine Learning\u00a076, 3\u201335 (2009)","journal-title":"Machine Learning"},{"unstructured":"Srinivasan, A.: The Aleph manual, \n                    \n                      http:\/\/www.comlab.ox.ac.uk\/oucl\/~research\/areas\/machlearn\/Aleph\/","key":"9_CR22"}],"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_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:52:07Z","timestamp":1620114727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31951-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642319501","9783642319518"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31951-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}