{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:46:51Z","timestamp":1725558411618},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201441"},{"type":"electronic","value":"9783540399179"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39917-9_10","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T04:02:15Z","timestamp":1277697735000},"page":"130-145","source":"Crossref","is-referenced-by-count":4,"title":["Efficient Data Structures for Inductive Logic Programming"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Fonseca","sequence":"first","affiliation":[]},{"given":"Ricardo","family":"Rocha","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Camacho","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Muggleton, S.: Inductive logic programming. In: Proceedings of the 1st Conference on Algorithmic Learning Theory, Ohmsma, Tokyo, Japan, pp. 43\u201362 (1990)"},{"issue":"4","key":"10_CR2","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Muggleton, S.: Inductive logic programming. New Generation Computing\u00a08(4), 295\u2013317 (1991)","journal-title":"New Generation Computing"},{"key":"10_CR3","unstructured":"Ilp applications, http:\/\/www.cs.bris.ac.uk\/~ILPnet2\/Applications\/"},{"key":"10_CR4","first-page":"82","volume-title":"Advances in Inductive Logic Programming","author":"C. N\u00e9dellec","year":"1996","unstructured":"N\u00e9dellec, C., Rouveirol, C., Ad\u00e9, H., Bergadano, F., Tausend, B.: Declarative bias in ILP. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 82\u2013103. IOS Press, Amsterdam (1996)"},{"key":"10_CR5","unstructured":"Camacho, R.: Improving the efficiency of ilp systems using an incremental language level search. In: Annual Machine Learning Conference of Belgium and the Netherlands (2002)"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.924","volume":"16","author":"H. Blockeel","year":"2002","unstructured":"Blockeel, H., Dehaspe, L., Demoen, B., Janssens, G., Ramon, J., Vandecasteele, H.: Improving the efficiency of Inductive Logic Programming through the use of query packs. Journal of Artificial Intelligence Research\u00a016, 135\u2013166 (2002)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-44960-4_14","volume-title":"Inductive Logic Programming","author":"V.S. Costa","year":"2000","unstructured":"Costa, V.S., Srinivasan, A., Camacho, R.: A note on two simple transformations for improving the efficiency of an ILP system. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, p. 225. Springer, Heidelberg (2000)"},{"key":"10_CR8","unstructured":"Costa, V.S., Srinivasan, A., Camacho, R., Hendrik, Van Laer, W.: Query transformations for improving the efficiency of ilp systems. Journal of Machine Learning Research (2002)"},{"key":"10_CR9","unstructured":"Camacho, R.: Inductive Logic Programming to Induce Controllers. PhD thesis, Univerity of Porto (2000)"},{"key":"10_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-44960-4_1","volume-title":"Inductive Logic Programming","author":"D. Page","year":"2000","unstructured":"Page, D.: ILP: Just do it. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 3\u201318. Springer, Heidelberg (2000)"},{"key":"10_CR11","unstructured":"Matsui, T., Inuzuka, N., Seki, H., Itoh, H.: Comparison of three parallel implementations of an induction algorithm. In: 8th Int. Parallel Computing Workshop, Singapore, pp. 181\u2013188 (1998)"},{"key":"10_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/3-540-46846-3_25","volume-title":"Discovery Science","author":"H. Ohwada","year":"1999","unstructured":"Ohwada, H., Mizoguchi, F.: Parallel execution for speeding up inductive logic programming systems. In: Arikawa, S., Furukawa, K. (eds.) DS 1999. LNCS (LNAI), vol.\u00a01721, pp. 277\u2013286. Springer, Heidelberg (1999)"},{"key":"10_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-44960-4_10","volume-title":"Inductive Logic Programming","author":"H. Ohwada","year":"2000","unstructured":"Ohwada, H., Nishiyama, H., Mizoguchi, F.: Concurrent execution of optimal hypothesis search for inverse entailment. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 165\u2013173. Springer, Heidelberg (2000)"},{"key":"10_CR14","volume-title":"Workshop on Distributed and Parallel Knowledge Discovery, KDD 2000","author":"Y. Wang","year":"2000","unstructured":"Wang, Y., Skillicorn, D.: Parallel inductive logic for data mining. In: Workshop on Distributed and Parallel Knowledge Discovery, KDD 2000, Boston, ACM Press, New York (2000)"},{"key":"10_CR15","unstructured":"Dehaspe, L., De Raedt, L.: Parallel inductive logic programming. In: Proceedings of the MLnet Familiarization Workshop on Statistics, Machine Learning and Knowledge Discovery in Databases (1995)"},{"key":"10_CR16","unstructured":"Aleph, http:\/\/web.comlab.ox.ac.uk\/oucl\/research\/areas\/machlearn\/Aleph\/"},{"key":"10_CR17","unstructured":"Fonseca, N., Camacho, R., Silva, F., Costa, V.S.: Induction with April: A preliminary report. Technical Report DCC-2003-02, DCC-FC, Universidade do Porto (2003)"},{"key":"10_CR18","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1145\/367390.367400","volume":"3","author":"E. Fredkin","year":"1962","unstructured":"Fredkin, E.: Trie Memory. Communications of the ACM\u00a03, 490\u2013499 (1962)","journal-title":"Communications of the ACM"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0743-1066(98)10013-4","volume":"38","author":"I.V. Ramakrishnan","year":"1999","unstructured":"Ramakrishnan, I.V., Rao, P., Sagonas, K., Swift, T., Warren, D.S.: Efficient Access Mechanisms for Tabled Logic Programs. Journal of Logic Programming\u00a038(1), 31\u201354 (1999)","journal-title":"Journal of Logic Programming"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/3-540-56610-4_56","volume-title":"TAPSOFT \u201993: Theory and Practice of Software Development","author":"L. Bachmair","year":"1993","unstructured":"Bachmair, L., Chen, T., Ramakrishnan, I.V.: Associative-Commutative Discrimination Nets. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol.\u00a0668, pp. 61\u201374. Springer, Heidelberg (1993)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Graf, P. (ed.): Term Indexing. LNCS (LNAI), vol.\u00a01053. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61040-5"},{"issue":"2","key":"10_CR22","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF00245458","volume":"9","author":"W.W. McCune","year":"1992","unstructured":"McCune, W.W.: Experiments with Discrimination-Tree Indexing and Path Indexing for Term Retrieval. Journal of Automated Reasoning\u00a09(2), 147\u2013167 (1992)","journal-title":"Journal of Automated Reasoning"},{"key":"10_CR23","unstructured":"Ohlbach, H.J.: Abstraction Tree Indexing for Terms. In: Proceedings of the 9th European Conference on Artificial Intelligence, Stockholm, Sweden, pp. 479\u2013484. Pitman Publishing (1990)"},{"issue":"2","key":"10_CR24","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/356924.356930","volume":"16","author":"H. Samet","year":"1984","unstructured":"Samet, H.: The quadtree and related hierarchical data structures. ACM Computing Surveys (CSUR)\u00a016(2), 187\u2013260 (1984)","journal-title":"ACM Computing Surveys (CSUR)"},{"issue":"2","key":"10_CR25","first-page":"95","volume":"19","author":"B.L. Richards","year":"1995","unstructured":"Richards, B.L., Mooney, R.J.: Automated refinement of first-order horn-clause domain theories. Machine Learning\u00a019(2), 95\u2013131 (1995)","journal-title":"Machine Learning"},{"key":"10_CR26","unstructured":"Cussens, J.: Part-of-speech disambiguation using ilp. Technical Report PRGTR- 25-96, Oxford University Computing Laboratory (1996)"},{"issue":"9","key":"10_CR27","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1145\/4284.4290","volume":"28","author":"H. Samet","year":"1985","unstructured":"Samet, H.: Data structures for quadtree approximation and compression. Communications of the ACM\u00a028(9), 973\u2013993 (1985)","journal-title":"Communications of the ACM"},{"key":"10_CR28","unstructured":"Costa, V.S., Damas, L., Reis, R., Azevedo, R.: YAP Prolog User\u2019s Manual. Universidade do Porto (1989)"},{"key":"10_CR29","first-page":"281","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S., Feng, C.: Efficient induction in logic programs. In: Muggleton, S. (ed.) Inductive Logic Programming, pp. 281\u2013298. Academic Press, London (1992)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39917-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T13:34:11Z","timestamp":1559223251000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39917-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201441","9783540399179"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39917-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}