{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,17]],"date-time":"2025-05-17T06:31:35Z","timestamp":1747463495306,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540663201"},{"type":"electronic","value":"9783540484226"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","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":[[1999]]},"DOI":"10.1007\/3-540-48422-1_16","type":"book-chapter","created":{"date-parts":[[2007,5,16]],"date-time":"2007-05-16T00:12:16Z","timestamp":1179274336000},"page":"193-206","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Inductive Verification and Validation of the KULRoT RoboCup Team"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Driessens","sequence":"first","affiliation":[]},{"given":"Nico","family":"Jacobs","sequence":"additional","affiliation":[]},{"given":"Nathalie","family":"Cossement","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Monsieurs","sequence":"additional","affiliation":[]},{"given":"Luc","family":"De Raedt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,26]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3540635149_36","volume":"1297","author":"H. Blocked","year":"1997","unstructured":"H. Blocked and L. De Raedt. Lookahead and discretization 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.","journal-title":"Proceedings of the 7th International Workshop on Inductive Logic Programming"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1142\/S0218843097000069","volume":"6","author":"F. Brazier","year":"1997","unstructured":"F. Brazier, B. Dunin-Keplicz, N. R. Jennings, and J. Treur. Desire: Modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems, 6:67\u201394, 1997. Special Issue on Formal Methods in Cooperative, Information Systems.","journal-title":"International Journal of Cooperative Information Systems"},{"key":"16_CR3","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":"16_CR4","unstructured":"N. Cossement. Robocup: developing low level skills. Master\u2019s thesis, Department of Computer Science, Katholieke Universiteit Leuven, 1998."},{"key":"16_CR5","series-title":"Technical Report","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":"16_CR6","unstructured":"L. De Raedt. Interactive Theory Revision: an Inductive Logic Programming Approach. Academic Press, 1992."},{"key":"16_CR7","doi-asserted-by":"publisher","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":"16_CR8","unstructured":"L. De Raedt. Using ILP for verification, validation and testing of knowledge based systems, 1997. invited talk at EUROVAV 1997."},{"key":"16_CR9","doi-asserted-by":"publisher","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":"16_CR10","doi-asserted-by":"publisher","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-clausal theories are PAC-learnable. Artificial Intelligence, 70:375\u2013392, 1994.","journal-title":"Artificial Intelligence"},{"key":"16_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":"16_CR12","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":"16_CR13","unstructured":"N. Lamb and A. Peerce. Verification of multi-agent knowledge-based systems. In Proceedings of the ECAI-96 Workshop on Validation, Verification and Refinement of Knowledge Based Systems, 1996."},{"key":"16_CR14","unstructured":"P. Monsieurs. Developing high level skills for robocup. Master\u2019s thesis, Depart ment of Computer Science, Katholieke Universiteit Leuven, 1998."},{"key":"16_CR15","unstructured":"S. Muggleton and C. D. Page. A learnability model for universal representations. In S. Wrobel, editor, Proceedings of the 4th International Workshop on Inductive Logic Programming, pages 139\u2013160, Sankt Augustin, Germany, 1994. GMD."},{"key":"16_CR16","unstructured":"I. Noda. Libsclient (for c language). URL: http:\/\/ci.etl.go.jp\/~noda\/soccer\/client\/index.html."},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"J. Postel. RFC 768: User datagram protocol, 1980.","DOI":"10.17487\/rfc0768"},{"key":"16_CR18","unstructured":"Leon Sterling and Ehud Shapiro. The art of Prolog. The MIT Press, 1986."},{"key":"16_CR19","unstructured":"J. Vanthienen, C. Mues, and C. Wets. Inter-tabular verification in an interactive environment. In Proceedings of the\u2019 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","RoboCup-98: Robot Soccer World Cup II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48422-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T09:21:04Z","timestamp":1558257664000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48422-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540663201","9783540484226"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48422-1_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"26 October 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}