[an error occurred while processing this directive]<title>Department of Computer Science: Program Induction</title>
<meta name="keywords"
      content="Department of Computer Science Research Activities Program Induction"></meta>
<meta name="description"
      content="Research activities in the area of Program Induction"></meta>
<meta property="og:site_name" content="Department of Computer Science"></meta>
<meta property="og:title" content="Program Induction"></meta>
<meta property="og:image"
      content="http://www.cs.ox.ac.uk/images/CompSci_logo_landscapeL_rgb_corrected.jpg"></meta>
<meta property="og:url" content="http://www.cs.ox.ac.uk/activities/programinduction/"></meta>
[an error occurred while processing this directive]
<!-- BREADCRUMBS -->
<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 class="active">Program Induction</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-6 col-md-push-3" id="maincontent">
         <div class="page-title">
            <div class="row">
               <div class="col-xs-12 col-md-12">
                  <h1>Program Induction</h1>
               </div>
            </div>
         </div>
         <div class="row">
            <h3>Research</h3>
         </div>
         <div class="row">
            <div itemscope="itemscope" itemtype="http://schema.org/Person"
                 class="picturebox col-xs-6 col-sm-4 col-md-4  clear-xs clear-sm clear-md clear-lg">
               <a class="piccy" href="/people/Andrew.Cropper/"
                  style="background-image:url('/files/10552//4k8EnmzY_400x400.jpg')"></a>
               <center>
                  <a href="/people/Andrew.Cropper/">
                     <span class="newcaption">
                        <span itemprop="name">Andrew Cropper</span>
                     </span>
                  </a>
               </center>
            </div>
         </div>
         <h2>Selected Publications</h2>
         <p>
            <a href="/activities/publications/date/programinduction.html"
               class="btn btn-dark-brown-outline btn-thin text-uppercase">View All</a>
         </p>
         <ul class="list-unbulleted list-unbulleted-spaced"><li> <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>
            				</li><li> <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>
            				</li><li> <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>
            				</li>
         </ul>
         <div class="row"></div>
      </div>
      <!-- TACTICAL BOXES (Column 3) -->
      <div class="col-xs-12 col-md-3 col-md-push-3 no-print">
         <div class="row">
            <div class="col-xs-12 col-sm-6 col-md-12">
               <div class="panel panel-dark-brown panel-links text-center">
                  <div class="panel-heading clearfix">
                     <h2 class="panel-title panel-title-small text-uppercase">See also</h2>
                     <span class="underbar"></span>
                  </div>
                  <div class="panel-body no-top-padding">
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="https://github.com/metagol/metagol">Metagol</a>
                        </li>
                        <li style="margin-bottom:0.33em">
                           <a href="/activities/programinduction/Aleph/">Aleph</a>
                        </li>
                     </ul>
                     <ul>
                        <li style="margin-bottom:0.33em">
                           <a href="/research/ai_ml">Artificial Intelligence and Machine Learning</a>
                        </li>
                        <li style="margin-bottom:0.33em">
                           <a href="/research/pl">Programming Languages</a>
                        </li>
                     </ul>
                  </div>
               </div>
            </div>
         </div>
      </div>
      <div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col">
         <!-- NAVIGATION (Column 1) -->
         [an error occurred while processing this directive]
      </div>
   </div>
</div>
[an error occurred while processing this directive]