{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:30:53Z","timestamp":1762032653415},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540696087"},{"type":"electronic","value":"9783540696117"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/978-3-540-69611-7_5","type":"book-chapter","created":{"date-parts":[[2007,4,26]],"date-time":"2007-04-26T09:40:18Z","timestamp":1177580418000},"page":"80-93","source":"Crossref","is-referenced-by-count":4,"title":["Algebraic Knowledge Discovery Using Haskell"],"prefix":"10.1007","author":[{"given":"Jens","family":"Fisseler","sequence":"first","affiliation":[]},{"given":"Gabriele","family":"Kern-Isberner","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Beierle","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Koch","sequence":"additional","affiliation":[]},{"given":"Christian","family":"M\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","first-page":"68","volume-title":"Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS-36","author":"C. Beierle","year":"2003","unstructured":"Beierle, C., Kern-Isberner, G.: An alternative view of knowledge discovery. In: Proceedings of the 36th Annual Hawaii International Conference on System Sciences, HICSS-36, p. 68.1. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/3-540-36498-6_10","volume-title":"Abstract State Machines 2003. Advances in Theory and Practice","author":"C. Beierle","year":"2003","unstructured":"Beierle, C., Kern-Isberner, G.: Modelling conditional knowledge discovery and belief revision by abstract state machines. In: B\u00f6rger, E., Gargantini, A., Riccobene, E. (eds.) ASM 2003. LNCS, vol.\u00a02589, pp. 186\u2013203. Springer, Heidelberg (2003)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-36388-2_4","volume-title":"Practical Aspects of Declarative Languages","author":"A. Clare","year":"2002","unstructured":"Clare, A., King, R.D.: Data mining the yeast genome in a lazy functional language. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 19\u201326. Springer, Heidelberg (2002)"},{"issue":"5","key":"5_CR4","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1017\/S0956796801004075","volume":"11","author":"M. Erwig","year":"2001","unstructured":"Erwig, M.: Inductive graphs and functional graph algorithms. Journal of Functional Programming\u00a011(5), 467\u2013492 (2001)","journal-title":"Journal of Functional Programming"},{"doi-asserted-by":"crossref","unstructured":"Gill, A.: Debugging haskell by observing intermediate data structures. Electronic Notes in Theoretical Computer Science\u00a041(1) (2000)","key":"5_CR5","DOI":"10.1016\/S1571-0661(05)80538-9"},{"key":"5_CR6","first-page":"581","volume-title":"Proceedings 14th European Conference on Artificial Intelligence, ECAI 2000","author":"G. Kern-Isberner","year":"2000","unstructured":"Kern-Isberner, G.: Solving the inverse representation problem. In: Proceedings 14th European Conference on Artificial Intelligence, ECAI 2000, pp. 581\u2013585. IOS Press, Amsterdam (2000)"},{"key":"5_CR7","first-page":"34","volume-title":"Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR-2004","author":"G. Kern-Isberner","year":"2004","unstructured":"Kern-Isberner, G., Fisseler, J.: Knowledge discovery by reversing inductive knowledge representation. In: Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning, KR-2004, pp. 34\u201344. AAAI Press, Menlo Park (2004)"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1145\/199448.199530","volume-title":"Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1995)","author":"D.J. King","year":"1995","unstructured":"King, D.J., Launchbury, J.: Structuring depth-first search algorithms in Haskell. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1995), pp. 344\u2013354. ACM Press, New York (1995)"},{"key":"5_CR9","volume-title":"ACM SIGPLAN Haskell Workshop (HW 2004)","author":"D. Leijen","year":"2004","unstructured":"Leijen, D.: wxHaskell \u2013 a portable and concise GUI library for Haskell. In: ACM SIGPLAN Haskell Workshop (HW 2004). ACM Press, New York (2004)"},{"unstructured":"Leijen, D., Meijer, E.: Parsec: Direct style monadic parser combinators for the real world. Technical Report UU-CS-2001-27, Department of Computer Science, Universiteit Utrecht (2001)","key":"5_CR10"},{"issue":"1","key":"5_CR11","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1137\/0205007","volume":"5","author":"P. Mateti","year":"1976","unstructured":"Mateti, P., Deo, N.: On algorithms for enumerating all circuits of a graph. SIAM Journal on Computing\u00a05(1), 90\u201399 (1976)","journal-title":"SIAM Journal on Computing"},{"key":"5_CR12","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. Journal of Logic Programming\u00a019\/20, 629\u2013679 (1994)","journal-title":"Journal of Logic Programming"},{"key":"5_CR13","volume-title":"The uncertain reasoner\u2019s companion \u2013 A mathematical perspective","author":"J.B. Paris","year":"1994","unstructured":"Paris, J.B.: The uncertain reasoner\u2019s companion \u2013 A mathematical perspective. Cambridge University Press, Cambridge (1994)"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0956796800000708","volume":"3","author":"C. Runciman","year":"1993","unstructured":"Runciman, C., Wakeling, D.: Heap profiling of lazy functional programs. Journal of Functional Programming\u00a03(2), 217\u2013245 (1993)","journal-title":"Journal of Functional Programming"},{"key":"5_CR15","volume-title":"Data Mining: Practical Machine Learning Tools and Techniques","author":"I.H. Witten","year":"2005","unstructured":"Witten, I.H., Frank, E.: Data Mining: Practical Machine Learning Tools and Techniques. Morgan Kaufmann, San Francisco (2005)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69611-7_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:01:47Z","timestamp":1605762107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69611-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540696087","9783540696117"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69611-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}