{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:16:51Z","timestamp":1752549411130},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647386"},{"type":"electronic","value":"9783540690597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0027318","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T08:01:00Z","timestamp":1132387260000},"page":"145-154","source":"Crossref","is-referenced-by-count":5,"title":["Using ILP-systems for verification and validation of multi-agent systems"],"prefix":"10.1007","author":[{"given":"Nico","family":"Jacobs","sequence":"first","affiliation":[]},{"given":"Kurt","family":"Driessens","sequence":"additional","affiliation":[]},{"given":"Luc","family":"De Raedt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/227607.227611","volume":"5","author":"F. Bergadano","year":"1996","unstructured":"F. Bergadano and D. Gunetti. Testing by means of inductive program learning. ACM Transactions on Software Engineering and Methodology, 5(2):119\u2013145, 1996.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"H. Blockeel and L. De Raedt. Lookahead and d\u00efscretization in ILP. In Proceedings of the 7th International Workshop on Inductive Logic Programming, volume 1297 of Lecture Notes in Artificial Intelligence, pages 77\u201385. Springer-Verlag, 1997.","DOI":"10.1007\/3540635149_36"},{"issue":"4","key":"15_CR3","first-page":"261","volume":"3","author":"P. Clark","year":"1989","unstructured":"P. Clark and T. Niblett. The CN2 algorithm. Machine Learning, 3(4):261\u2013284, 1989.","journal-title":"Machine Learning"},{"key":"15_CR4","unstructured":"W. Cohen. Recovering Software Specifications with ILP. In Proceedings of the 12th National Conference on Artificial Intelligence (AAAI-94), pages 142\u2013148, 1994."},{"key":"15_CR5","series-title":"Technical Report 95\/2","volume-title":"Knowledge-based refinement of knowledge based systems","author":"S. Craw","year":"1995","unstructured":"S. Craw and D. Sleeman. Knowledge-based refinement of knowledge based systems. Technical Report 95\/2, The Robert Gordon University, Aberdeen, UK, 1995."},{"key":"15_CR6","unstructured":"L. De Raedt. Interactive Theory Revision: an Inductive Logic Programming Approach. Academic Press, 1992."},{"key":"15_CR7","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0004-3702(97)00041-6","volume":"95","author":"L. Raedt De","year":"1997","unstructured":"L. De Raedt. Logical settings for concept learning. Artificial Intelligence, 95:187\u2013201, 1997.","journal-title":"Artificial Intelligence"},{"key":"15_CR8","unstructured":"L. De Raedt. Using ILP for verification, validation and testing of knowledge based systems, 1997. invited talk at EUROVAV 1997."},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1023\/A:1007361123060","volume":"26","author":"L. Raedt De","year":"1997","unstructured":"L. De Raedt and L. Dehaspe. Clausal discovery. Machine Learning, 26:99\u2013146, 1997.","journal-title":"Machine Learning"},{"key":"15_CR10","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(94)90112-0","volume":"70","author":"L. Raedt De","year":"1994","unstructured":"L. De Raedt and S. D\u017eeroski. First order jk-Causal theories are PAC-learnable. Artificial Intelligence, 70:375\u2013392, 1994.","journal-title":"Artificial Intelligence"},{"key":"15_CR11","unstructured":"L. De Raedt, G. Sablon, and M. Bruynooghe. Using interactive concept learning for knowledge-base validation and verification. In Validation, Verification and Test of Knowledge-based Systems, pages 177\u2013190, 1991."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"B. Dunin-Keplicz and J. Treur. Compositional formal specification of multi-agent systems. In Proceedings of the ECAI'94 Workshop on Agent Theories, Architectures and Languages, pages 102\u2013117, 1995.","DOI":"10.1007\/3-540-58855-8_6"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"H. Kitano, M. Veloso, H. Matsubara, M. Tambe, S. Coradeschi, I. Noda, P. Stone, E. Osawa, and M. Asada. The robocup synthetic agent challenge 97. In Proceedings of the 15th International Joint Conference on Artificial Intelligence, pages 24\u201329. Morgan Kaufmann, 1997.","DOI":"10.1007\/3-540-64473-3_49"},{"key":"15_CR14","unstructured":"J. Ross Quinlan. C4.5: Programs for Machine Learning. Morgan Kaufmann series in machine learning. Morgan Kaufmann, 1993."},{"key":"15_CR15","unstructured":"J. Vanthienen, C. Mues, and C. Wets. Inter-tabular verification in an interactive environment. In Proceedings of the '97 European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV-97), pages 155\u2013165, 1997."}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027318","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:39:21Z","timestamp":1586569161000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027318"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647386","9783540690597"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0027318","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}