<rdf:RDF xmlns:community="http://www.bibsonomy.org/ontologies/2008/05/community#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:admin="http://webns.net/mvcb/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:cc="http://web.resource.org/cc/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xml:base="http://www.bibsonomy.org/user/ip/imported"><owl:Ontology rdf:about=""><rdfs:comment>BibSonomy publications for /user/ip/imported</rdfs:comment><owl:imports rdf:resource="http://swrc.ontoware.org/ontology/portal"/></owl:Ontology><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/28434bbaff9088af78d8ca4b779506031/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/28434bbaff9088af78d8ca4b779506031/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Proceedings"/><swrc:date>Thu Dec 06 13:02:35 CET 2007</swrc:date><swrc:booktitle>ILP</swrc:booktitle><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Inductive Logic Programming, 16th International Conference,
               ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006,
               Revised Selected Papers</swrc:title><swrc:volume>4455</swrc:volume><swrc:year>2007</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="DBLP, http://dblp.uni-trier.de" swrc:key="bibsource"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="978-3-540-73846-6" swrc:key="isbn"/></swrc:hasExtraField><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Stephen Muggleton"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ram{\&#039;o}n P. Otero"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Alireza Tamaddoni-Nezhad"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2b7690631b7724d91bd827d72d0c82def/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2b7690631b7724d91bd827d72d0c82def/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Thu Dec 06 13:02:35 CET 2007</swrc:date><swrc:booktitle>ILP</swrc:booktitle><swrc:crossref>DBLP:conf/ilp/2006</swrc:crossref><swrc:pages>79-93</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Learning Recursive Patterns for Biomedical Information Extraction</swrc:title><swrc:volume>4455</swrc:volume><swrc:year>2006</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://dx.doi.org/10.1007/978-3-540-73847-3_15" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="DBLP, http://dblp.uni-trier.de" swrc:key="bibsource"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="978-3-540-73846-6" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Margherita Berardi"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Donato Malerba"/></rdf:_2></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Stephen Muggleton"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ram{\&#039;o}n P. Otero"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Alireza Tamaddoni-Nezhad"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2fbbb776e3790f611aaa2cbdf77f85e4b/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2fbbb776e3790f611aaa2cbdf77f85e4b/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Proceedings"/><swrc:date>Thu Dec 06 13:02:35 CET 2007</swrc:date><swrc:booktitle>ILP</swrc:booktitle><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Inductive Logic Programming, 14th International Conference,
               ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings</swrc:title><swrc:volume>3194</swrc:volume><swrc:year>2004</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="DBLP, http://dblp.uni-trier.de" swrc:key="bibsource"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-22941-8" swrc:key="isbn"/></swrc:hasExtraField><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Rui Camacho"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ross D. King"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Ashwin Srinivasan"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2c3494043fd2d47bcd62c071310dd71c1/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2c3494043fd2d47bcd62c071310dd71c1/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Thu Dec 06 13:02:35 CET 2007</swrc:date><swrc:booktitle>ILP</swrc:booktitle><swrc:crossref>DBLP:conf/ilp/2004</swrc:crossref><swrc:pages>44-62</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>On the Effect of Caching in Recursive Theory Learning</swrc:title><swrc:volume>3194</swrc:volume><swrc:year>2004</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://springerlink.metapress.com/openurl.asp?genre=article{\&amp;" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="DBLP, http://dblp.uni-trier.de" swrc:key="bibsource"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-22941-8" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Margherita Berardi"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Antonio Varlaro"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Donato Malerba"/></rdf:_3></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Rui Camacho"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Ross D. King"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Ashwin Srinivasan"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/27f41deafc76cae427080cd6a1ac0ea3f/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/27f41deafc76cae427080cd6a1ac0ea3f/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><swrc:date>Thu Dec 06 13:02:35 CET 2007</swrc:date><swrc:journal>Fundam. Inform.</swrc:journal><swrc:number>1</swrc:number><swrc:pages>39-77</swrc:pages><swrc:title>Learning Recursive Theories in the Normal ILP Setting</swrc:title><swrc:volume>57</swrc:volume><swrc:year>2003</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://iospress.metapress.com/openurl.asp?genre=article{\&amp;" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="DBLP, http://dblp.uni-trier.de" swrc:key="bibsource"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Donato Malerba"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2f79aac86b018d7d9752bc36bccf2b331/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2f79aac86b018d7d9752bc36bccf2b331/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Proceedings"/><swrc:date>Thu Dec 06 13:02:35 CET 2007</swrc:date><swrc:booktitle>ILP</swrc:booktitle><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Inductive Logic Programming, 10th International Conference,
               ILP 2000, London, UK, July 24-27, 2000, Proceedings</swrc:title><swrc:volume>1866</swrc:volume><swrc:year>2000</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="DBLP, http://dblp.uni-trier.de" swrc:key="bibsource"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-67795-X" swrc:key="isbn"/></swrc:hasExtraField><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="James Cussens"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Alan M. Frisch"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2a7b1e5cfe57c10a0f7840fb1a3696612/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2a7b1e5cfe57c10a0f7840fb1a3696612/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Thu Dec 06 13:02:35 CET 2007</swrc:date><swrc:booktitle>ILP</swrc:booktitle><swrc:crossref>DBLP:conf/ilp/2000</swrc:crossref><swrc:pages>93-111</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>Lecture Notes in Computer Science</swrc:series><swrc:title>Induction of Recursive Theories in the Normal ILP Setting:
               Issues and Solutions</swrc:title><swrc:volume>1866</swrc:volume><swrc:year>2000</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="http://link.springer.de/link/service/series/0558/bibs/1866/18660093.htm" swrc:key="ee"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="DBLP, http://dblp.uni-trier.de" swrc:key="bibsource"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-67795-X" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Floriana Esposito"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Donato Malerba"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Francesca A. Lisi"/></rdf:_3></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="James Cussens"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Alan M. Frisch"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2926c556857024dd34088380abff1960b/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2926c556857024dd34088380abff1960b/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://portal.acm.org/citation.cfm?id=801857&amp;coll=portal&amp;dl=ACM"/><swrc:date>Wed Nov 21 12:01:39 CET 2007</swrc:date><swrc:address>New York, NY, USA</swrc:address><swrc:booktitle>Proceedings of the eighteenth annual computer personnel research conference</swrc:booktitle><swrc:pages>302--322</swrc:pages><swrc:publisher><swrc:Organization swrc:name="ACM"/></swrc:publisher><swrc:title>A study of programming problem representation in novice and expert programmers</swrc:title><swrc:year>1981</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:abstract>Based on a study by Chi and Glasser on physics problem-solving, [1] we hypothesized that novices represent computer programming problems initially on the basis of surface features, such as application areas, while experts represent programming problems on the basis of deep features, such as solution method and data structures. Using a problem sorting task, we studied differences in representation among beginning programmers, experienced programmers, and programming managers. Each participant in the study was given specifications for 27 different programming problems, and was asked to group together problems whose method of solution would be similar. The 27 problems were designed to have three different treatments on each of three dimensions of variation: data-structure, algorithm, and application area. Beginning programmers tended to group problems by application area, experienced programmers grouped by algorithm, and programming managers used a mix of the two methods. The experts were more consistent in their groupings and took more time to complete the grouping task, both of which are consistent with Chi and Glasser and reflect the expected novice/expert representation difference.</swrc:abstract><swrc:hasExtraField><swrc:Field swrc:value="Washington, D.C., United States" swrc:key="location"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="0-89791-044-3" swrc:key="isbn"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="http://doi.acm.org/10.1145/800051.801857" swrc:key="doi"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Joan Shertz"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Mark Weiser"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/29f2ce27d818e7860757802e25c118bfb/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/29f2ce27d818e7860757802e25c118bfb/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Wed Nov 21 12:00:38 CET 2007</swrc:date><swrc:journal>IJCAI</swrc:journal><swrc:pages>260-267</swrc:pages><swrc:title>Inferring LISP Programs From Examples</swrc:title><swrc:year>1975</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="D. Shaw"/></rdf:_1><rdf:_2><swrc:Person swrc:name="W. Wartout"/></rdf:_2><rdf:_3><swrc:Person swrc:name="C. Green"/></rdf:_3></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2cc88fa89fd406caeee097b0944d1fd7f/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2cc88fa89fd406caeee097b0944d1fd7f/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><owl:sameAs rdf:resource="http://portal.acm.org/citation.cfm?id=800233.807040&amp;coll=GUIDE&amp;dl=GUIDE"/><swrc:date>Wed Nov 21 11:58:03 CET 2007</swrc:date><swrc:address>New York, NY, USA</swrc:address><swrc:booktitle>Proceedings of the ACM SIGPLAN symposium on Very high level languages</swrc:booktitle><swrc:pages>1--12</swrc:pages><swrc:publisher><swrc:Organization swrc:name="ACM"/></swrc:publisher><swrc:title>An overview of nonprocedural languages</swrc:title><swrc:year>1974</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:abstract>This paper attempts to describe some of the basic characteristics and issues involving the class of programming languages commonly referred to as “nonprocedural” or “very high level”. The paper discusses major issues such as terminology, relativeness, and arbitrary sequencing. Five features of nonprocedural languages are described, and a number of specific languages are discussed briefly. A short history of the subject is included.</swrc:abstract><swrc:hasExtraField><swrc:Field swrc:value="Santa Monica, California, United States" swrc:key="location"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="http://doi.acm.org/10.1145/800233.807040" swrc:key="doi"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Burt M. Leavenoworth"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Jean E. Sammet"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2d4d3a81f2c0c6ba76aa43df83c189b12/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2d4d3a81f2c0c6ba76aa43df83c189b12/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InCollection"/><swrc:date>Wed Nov 21 11:57:08 CET 2007</swrc:date><swrc:address>New York</swrc:address><swrc:booktitle>Encyclopedia of Artificial Intelligence. 2nd edition</swrc:booktitle><swrc:pages>18 - 35</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Wiley"/></swrc:publisher><swrc:title>Automatic Programming</swrc:title><swrc:year>1992</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="A. W. Biermann"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Stuart C. Shapiro"/></rdf:_1></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/225aaefe11944033ccc3f5049136c75ac/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/225aaefe11944033ccc3f5049136c75ac/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Misc"/><swrc:date>Wed Nov 21 11:56:10 CET 2007</swrc:date><swrc:journal>Journal of Educational Computing Research</swrc:journal><swrc:title>Children&#039;s Mental Models of Recursive Logo Programs.</swrc:title><swrc:volume>1:2</swrc:volume><swrc:year>1985</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="1985" swrc:key="date"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="D. Kurland"/></rdf:_1><rdf:_2><swrc:Person swrc:name="R. Pea"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/24d0e3109a7fafb37c3ef9aeb1d979fb2/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/24d0e3109a7fafb37c3ef9aeb1d979fb2/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Article"/><owl:sameAs rdf:resource="http://dx.doi.org/10.1002/(SICI)1098-111X(199910)14:10&lt;995::AID-INT4&gt;3.0.CO;2-W"/><swrc:date>Wed Nov 21 11:50:54 CET 2007</swrc:date><swrc:address>Department of Computer Sciences, The University of Texas at Austin, Austin, Texas 78712, USA; Department of Information Science, Uppsala University, Box 311, S-751 05 Uppsala, Sweden</swrc:address><swrc:journal>International Journal of Intelligent Systems</swrc:journal><swrc:number>10</swrc:number><swrc:pages>995-1019</swrc:pages><swrc:publisher><swrc:Organization swrc:name="John Wiley &amp; Sons"/></swrc:publisher><swrc:title>Completing open logic programs by constructive induction</swrc:title><swrc:volume>14</swrc:volume><swrc:year>1999</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="10.1002/(SICI)1098-111X(199910)14:10&lt;995::AID-INT4&gt;3.0.CO;2-W" swrc:key="doi"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Esra Erdem"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Pierre Flener"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2ef7170d799b61cfcda875f1b62aae36f/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2ef7170d799b61cfcda875f1b62aae36f/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InCollection"/><swrc:date>Wed Nov 21 11:44:28 CET 2007</swrc:date><swrc:address>Los Altos, CA</swrc:address><swrc:booktitle>Machine Learning -- An Artificial Intelligence Approach</swrc:booktitle><swrc:pages>393-422</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Morgan Kaufmann"/></swrc:publisher><swrc:title> Programming by analogy</swrc:title><swrc:volume>2</swrc:volume><swrc:year>1986</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="N. Dershowitz"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="R. S. Michalski"/></rdf:_1><rdf:_2><swrc:Person swrc:name="J. G. Carbonell"/></rdf:_2><rdf:_3><swrc:Person swrc:name="T. M. Mitchell"/></rdf:_3></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2febe6cec863731599cc4d0cf49b4344a/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2febe6cec863731599cc4d0cf49b4344a/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Wed Nov 21 11:44:28 CET 2007</swrc:date><swrc:booktitle>{Proc. International Workshop on Analogical and Inductive Inference (AII &#039;89)}</swrc:booktitle><swrc:pages>45--59</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>LNCS</swrc:series><swrc:title>Why and how program synthesis?</swrc:title><swrc:year>1989</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Yves Kodratoff"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Marta Franova"/></rdf:_2><rdf:_3><swrc:Person swrc:name="Derek Partridge"/></rdf:_3></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/273c18dbbdd4e07a2eb5255ba7561dada/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/273c18dbbdd4e07a2eb5255ba7561dada/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Wed Nov 21 11:44:28 CET 2007</swrc:date><swrc:booktitle>Proc. {AISE Meeting Hambourg}</swrc:booktitle><swrc:pages>169-175</swrc:pages><swrc:title>A sane algorithm for the synthesis of {LISP} functions from example problems: {The Boyer and Moore} algorithm</swrc:title><swrc:year>1978</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Y. Kodratoff"/></rdf:_1><rdf:_2><swrc:Person swrc:name=" J.Fargues"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/23d37f27ff18cda0ba8048b3852c4e9fc/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/23d37f27ff18cda0ba8048b3852c4e9fc/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Wed Nov 21 11:44:28 CET 2007</swrc:date><swrc:booktitle>Proc. {International Joint Conference on Artificial Intelligence (IJCAI-79)}</swrc:booktitle><swrc:pages>440--447</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Morgan Kaufmann"/></swrc:publisher><swrc:title>Characterization of a class of functions synthesized

                 from examples by a Summers like method using a

                 `{B}.{M}.{W}.&#039; matching technique</swrc:title><swrc:year>1979</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="J. P. Jouannaud"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Y. Kodratoff"/></rdf:_2></rdf:Seq></swrc:author></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/27300b6371ed3d0f718862edda825231b/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/27300b6371ed3d0f718862edda825231b/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#Book"/><swrc:date>Wed Nov 21 11:44:28 CET 2007</swrc:date><swrc:address>Hillsdale, NJ</swrc:address><swrc:publisher><swrc:Organization swrc:name="Lawrence Erlbaum"/></swrc:publisher><swrc:title>Studying the Novice Programmer</swrc:title><swrc:year>1989</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="[schmid]" swrc:key="markedentry"/></swrc:hasExtraField><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="E. Soloway"/></rdf:_1><rdf:_2><swrc:Person swrc:name="J.C. Spohrer"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/21ac6209a7d8905747191b193159ff395/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/21ac6209a7d8905747191b193159ff395/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InProceedings"/><swrc:date>Wed Nov 21 11:44:28 CET 2007</swrc:date><swrc:address>Berlin</swrc:address><swrc:booktitle>{Proceedings of the 7th International Workshop on Inductive Logic

	Programming}</swrc:booktitle><swrc:month>September17--20~</swrc:month><swrc:pages>296--308</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Springer"/></swrc:publisher><swrc:series>LNAI</swrc:series><swrc:title>Which Hypotheses Can Be Found with inverse Entailment?</swrc:title><swrc:volume>1297</swrc:volume><swrc:year>1997</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="[schmid]" swrc:key="markedentry"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="3-540-63514-9" swrc:key="isbn"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Akihiro Yamamoto"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="Nada Lavra{\v{c}}"/></rdf:_1><rdf:_2><swrc:Person swrc:name="Sa{\v{s}}o D{\v{z}}eroski"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description><rdf:Description rdf:about="http://www.bibsonomy.org/bibtex/2a938d1334160e8157348aa773234ecf6/ip"><owl:sameAs rdf:resource="http://www.bibsonomy.org/uri/bibtex/2a938d1334160e8157348aa773234ecf6/ip"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InCollection"/><swrc:date>Wed Nov 21 11:44:28 CET 2007</swrc:date><swrc:address>Amsterdam</swrc:address><swrc:booktitle>Artificial Intelligence: Methodology, Systems, Applications</swrc:booktitle><swrc:pages>3-11</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Elsevier"/></swrc:publisher><swrc:title>Program synthesis by hierarchical planning</swrc:title><swrc:year>1987</swrc:year><swrc:keywords>imported </swrc:keywords><swrc:hasExtraField><swrc:Field swrc:value="[schmid]" swrc:key="markedentry"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="F. Wysotzki"/></rdf:_1></rdf:Seq></swrc:author><swrc:editor><rdf:Seq><rdf:_1><swrc:Person swrc:name="P. Jorrand"/></rdf:_1><rdf:_2><swrc:Person swrc:name="V. Sgurev"/></rdf:_2></rdf:Seq></swrc:editor></rdf:Description></rdf:RDF>