[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by type, Program Induction"></meta><meta name="description" content="Publications, by type,Program Induction, Department of Computer Science, Oxford"></meta><title>Department of Computer Science: Program Induction: Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/research/">Research</a></li><li><a href="/research/ai_ml/">Artificial Intelligence and Machine Learning</a></li><li><a href="/research/ai_ml/activities.html">activities</a></li><li><a href="/activities/programinduction/">Program Induction</a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Program Induction: Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/activities/publications/date/programinduction.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/activities/publications/title/programinduction.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/activities/publications/type/programinduction.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/activities/publications/bibtex/programinduction.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><h2>
      Conference papers
      </h2><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Derivation Reduction of Metarules in Meta&#x2212;interpretive Learning </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper and Sophie Tourret  </em> </p>
	
	<p class="publicationDetails"> 
            In Fabrizio Riguzzi&#x201a; Elena Bellodi and Riccardo Zese, editors,
             
            <em>
            Inductive Logic Programming &#x2212; 28th International Conference&#x201a; ILP 2018&#x201a; Ferrara&#x201a; Italy&#x201a; September 2&#x2212;4&#x201a; 2018&#x201a; Proceedings</em>.
        
            Vol. 11105
                of Lecture Notes in Computer Science.
        
                Pages 1&#x2013;21.
            Springer.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12328-abstract.html">
			Details <span class="sr-only" > about <em> Derivation Reduction of Metarules in Meta&#x2212;interpretive Learning  </em></span> </a> |
			<a href="/publications/publication12328.bib">
			BibTeX  <span class="sr-only" > data for <em> Derivation Reduction of Metarules in Meta&#x2212;interpretive Learning  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-99960-9\_1">
		DOI (10.1007/978-3-319-99960-9\_1)
		</a> 
					| <a href="https://doi.org/10.1007/978-3-319-99960-9\_1"> Link <span class="sr-only" > to <em> Derivation Reduction of Metarules in Meta&#x2212;interpretive Learning  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Logic&#x2212;Based Inductive Synthesis of Efficient Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper  </em> </p>
	
	<p class="publicationDetails"> 
            In Subbarao Kambhampati, editor,
             
            <em>
            Proceedings of the Twenty&#x2212;Fifth International Joint Conference on Artificial Intelligence&#x201a; IJCAI 2016&#x201a; New York&#x201a; NY&#x201a; USA&#x201a; 9&#x2212;15 July 2016</em>.
        
                Pages 3980&#x2013;3981.
            IJCAI/AAAI Press.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12330-abstract.html">
			Details <span class="sr-only" > about <em> Logic&#x2212;Based Inductive Synthesis of Efficient Programs  </em></span> </a> |
			<a href="/publications/publication12330.bib">
			BibTeX  <span class="sr-only" > data for <em> Logic&#x2212;Based Inductive Synthesis of Efficient Programs  </em></span>   </a>
			
			
					| <a href="http://www.ijcai.org/Abstract/16/564"> Link <span class="sr-only" > to <em> Logic&#x2212;Based Inductive Synthesis of Efficient Programs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Learning Higher&#x2212;Order Logic Programs through Abstraction and Invention </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper and Stephen H. Muggleton  </em> </p>
	
	<p class="publicationDetails"> 
            In Subbarao Kambhampati, editor,
             
            <em>
            Proceedings of the Twenty&#x2212;Fifth International Joint Conference on Artificial Intelligence&#x201a; IJCAI 2016&#x201a; New York&#x201a; NY&#x201a; USA&#x201a; 9&#x2212;15 July 2016</em>.
        
                Pages 1418&#x2013;1424.
            IJCAI/AAAI Press.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12329-abstract.html">
			Details <span class="sr-only" > about <em> Learning Higher&#x2212;Order Logic Programs through Abstraction and Invention  </em></span> </a> |
			<a href="/publications/publication12329.bib">
			BibTeX  <span class="sr-only" > data for <em> Learning Higher&#x2212;Order Logic Programs through Abstraction and Invention  </em></span>   </a>
			
			
					| <a href="http://www.ijcai.org/Abstract/16/204"> Link <span class="sr-only" > to <em> Learning Higher&#x2212;Order Logic Programs through Abstraction and Invention  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Typed meta&#x2212;interpretive learning for proof strategies </strong> </p>
	    <p class="publicationAuthors"> <em> Colin Farquhar&#x201a; Gudmund Grov&#x201a; Andrew Cropper&#x201a; Stephen Muggleton and Alan Bundy  </em> </p>
	
	<p class="publicationDetails"> 
            In Katsumi Inoue&#x201a; Hayato Ohwada and Akihiro Yamamoto, editors,
             
            <em>
            Late Breaking Papers of the 25th International Conference on Inductive Logic Programming&#x201a; Kyoto University&#x201a; Kyoto&#x201a; Japan&#x201a; August 20th to 22nd&#x201a; 2015.</em>.
        
            Vol. 1636
                of CEUR Workshop Proceedings.
        
                Pages 17&#x2013;32.
            CEUR&#x2212;WS.org.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12333-abstract.html">
			Details <span class="sr-only" > about <em> Typed meta&#x2212;interpretive learning for proof strategies  </em></span> </a> |
			<a href="/publications/publication12333.bib">
			BibTeX  <span class="sr-only" > data for <em> Typed meta&#x2212;interpretive learning for proof strategies  </em></span>   </a>
			
			
					| <a href="http://ceur-ws.org/Vol-1636/paper-02.pdf"> Download (pdf)  <span class="sr-only" > of <em> Typed meta&#x2212;interpretive learning for proof strategies  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Meta&#x2212;Interpretive Learning of Data Transformation Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper&#x201a; Alireza Tamaddoni&#x2212;Nezhad and Stephen H. Muggleton  </em> </p>
	
	<p class="publicationDetails"> 
            In Katsumi Inoue&#x201a; Hayato Ohwada and Akihiro Yamamoto, editors,
             
            <em>
            Inductive Logic Programming &#x2212; 25th International Conference&#x201a; ILP 2015&#x201a; Kyoto&#x201a; Japan&#x201a; August 20&#x2212;22&#x201a; 2015&#x201a; Revised Selected Papers</em>.
        
            Vol. 9575
                of Lecture Notes in Computer Science.
        
                Pages 46&#x2013;59.
            Springer.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12334-abstract.html">
			Details <span class="sr-only" > about <em> Meta&#x2212;Interpretive Learning of Data Transformation Programs  </em></span> </a> |
			<a href="/publications/publication12334.bib">
			BibTeX  <span class="sr-only" > data for <em> Meta&#x2212;Interpretive Learning of Data Transformation Programs  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-40566-7\_4">
		DOI (10.1007/978-3-319-40566-7\_4)
		</a> 
					| <a href="https://doi.org/10.1007/978-3-319-40566-7\_4"> Link <span class="sr-only" > to <em> Meta&#x2212;Interpretive Learning of Data Transformation Programs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Learning Efficient Logical Robot Strategies Involving Composable Objects </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper and Stephen H. Muggleton  </em> </p>
	
	<p class="publicationDetails"> 
            In Qiang Yang and Michael Wooldridge, editors,
             
            <em>
            Proceedings of the Twenty&#x2212;Fourth International Joint Conference on Artificial Intelligence&#x201a; IJCAI 2015&#x201a; Buenos Aires&#x201a; Argentina&#x201a; July 25&#x2212;31&#x201a; 2015</em>.
        
                Pages 3423&#x2013;3429.
            AAAI Press.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12331-abstract.html">
			Details <span class="sr-only" > about <em> Learning Efficient Logical Robot Strategies Involving Composable Objects  </em></span> </a> |
			<a href="/publications/publication12331.bib">
			BibTeX  <span class="sr-only" > data for <em> Learning Efficient Logical Robot Strategies Involving Composable Objects  </em></span>   </a>
			
			
					| <a href="http://ijcai.org/Abstract/15/482"> Link <span class="sr-only" > to <em> Learning Efficient Logical Robot Strategies Involving Composable Objects  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Learning Efficient Logic Programs </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper  </em> </p>
	
	<p class="publicationDetails"> 
            In Qiang Yang and Michael Wooldridge, editors,
             
            <em>
            Proceedings of the Twenty&#x2212;Fourth International Joint Conference on Artificial Intelligence&#x201a; IJCAI 2015&#x201a; Buenos Aires&#x201a; Argentina&#x201a; July 25&#x2212;31&#x201a; 2015</em>.
        
                Pages 4359&#x2013;4360.
            AAAI Press.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12332-abstract.html">
			Details <span class="sr-only" > about <em> Learning Efficient Logic Programs  </em></span> </a> |
			<a href="/publications/publication12332.bib">
			BibTeX  <span class="sr-only" > data for <em> Learning Efficient Logic Programs  </em></span>   </a>
			
			
					| <a href="http://ijcai.org/Abstract/15/627"> Link <span class="sr-only" > to <em> Learning Efficient Logic Programs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Can predicate invention compensate for incomplete background knowledge? </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper and Stephen Muggleton  </em> </p>
	
	<p class="publicationDetails"> 
            In Slawomir Nowaczyk, editor,
             
            <em>
            Thirteenth Scandinavian Conference on Artificial Intelligence &#x2212; SCAI 2015&#x201a; Halmstad&#x201a; Sweden&#x201a; November 5&#x2212;6&#x201a; 2015</em>.
        
            Vol. 278
                of Frontiers in Artificial Intelligence and Applications.
        
                Pages 27&#x2013;36.
            IOS Press.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12335-abstract.html">
			Details <span class="sr-only" > about <em> Can predicate invention compensate for incomplete background knowledge?  </em></span> </a> |
			<a href="/publications/publication12335.bib">
			BibTeX  <span class="sr-only" > data for <em> Can predicate invention compensate for incomplete background knowledge?  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.3233/978-1-61499-589-0-27">
		DOI (10.3233/978-1-61499-589-0-27)
		</a> 
					| <a href="https://doi.org/10.3233/978-1-61499-589-0-27"> Link <span class="sr-only" > to <em> Can predicate invention compensate for incomplete background knowledge?  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Logical Minimisation of Meta&#x2212;Rules Within Meta&#x2212;Interpretive Learning </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper and Stephen H. Muggleton  </em> </p>
	
	<p class="publicationDetails"> 
            In Jesse Davis and Jan Ramon, editors,
             
            <em>
            Inductive Logic Programming &#x2212; 24th International Conference&#x201a; ILP 2014&#x201a; Nancy&#x201a; France&#x201a; September 14&#x2212;16&#x201a; 2014&#x201a; Revised Selected Papers</em>.
        
            Vol. 9046
                of Lecture Notes in Computer Science.
        
                Pages 62&#x2013;75.
            Springer.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12337-abstract.html">
			Details <span class="sr-only" > about <em> Logical Minimisation of Meta&#x2212;Rules Within Meta&#x2212;Interpretive Learning  </em></span> </a> |
			<a href="/publications/publication12337.bib">
			BibTeX  <span class="sr-only" > data for <em> Logical Minimisation of Meta&#x2212;Rules Within Meta&#x2212;Interpretive Learning  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-23708-4\_5">
		DOI (10.1007/978-3-319-23708-4\_5)
		</a> 
					| <a href="https://doi.org/10.1007/978-3-319-23708-4\_5"> Link <span class="sr-only" > to <em> Logical Minimisation of Meta&#x2212;Rules Within Meta&#x2212;Interpretive Learning  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Identifying and inferring objects from textual descriptions of scenes from books </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Cropper  </em> </p>
	
	<p class="publicationDetails"> 
            In Rumyana Neykova and Nicholas Ng, editors,
             
            <em>
            2014 Imperial College Computing Student Workshop&#x201a; ICCSW 2014&#x201a; September 25&#x2212;26&#x201a; 2014&#x201a; London&#x201a; United Kingdom</em>.
        
            Vol. 43
                of OASICS.
        
                Pages 19&#x2013;26.
            Schloss Dagstuhl &#x2212; Leibniz&#x2212;Zentrum fuer Informatik.
        2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication12336-abstract.html">
			Details <span class="sr-only" > about <em> Identifying and inferring objects from textual descriptions of scenes from books  </em></span> </a> |
			<a href="/publications/publication12336.bib">
			BibTeX  <span class="sr-only" > data for <em> Identifying and inferring objects from textual descriptions of scenes from books  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4230/OASIcs.ICCSW.2014.19">
		DOI (10.4230/OASIcs.ICCSW.2014.19)
		</a> 
					| <a href="https://doi.org/10.4230/OASIcs.ICCSW.2014.19"> Link <span class="sr-only" > to <em> Identifying and inferring objects from textual descriptions of scenes from books  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">[an error occurred while processing this directive]</div></div></div>[an error occurred while processing this directive]