BibTeX records: Andrew Cropper

download as .bib file

@inproceedings{DBLP:conf/ijcai/CropperM16,
  author    = {Andrew Cropper and
               Stephen H. Muggleton},
  title     = {Learning Higher-Order Logic Programs through Abstraction and Invention},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {1418--1424},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/204},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/CropperM16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cropper16,
  author    = {Andrew Cropper},
  title     = {Logic-Based Inductive Synthesis of Efficient Programs},
  booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  pages     = {3980--3981},
  year      = {2016},
  crossref  = {DBLP:conf/ijcai/2016},
  url       = {http://www.ijcai.org/Abstract/16/564},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/Cropper16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CropperM15,
  author    = {Andrew Cropper and
               Stephen H. Muggleton},
  title     = {Learning Efficient Logical Robot Strategies Involving Composable Objects},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {3423--3429},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/482},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/CropperM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Cropper15,
  author    = {Andrew Cropper},
  title     = {Learning Efficient Logic Programs},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {4359--4360},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/627},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/Cropper15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ilp/FarquharGCMB15,
  author    = {Colin Farquhar and
               Gudmund Grov and
               Andrew Cropper and
               Stephen Muggleton and
               Alan Bundy},
  title     = {Typed meta-interpretive learning for proof strategies},
  booktitle = {Late Breaking Papers of the 25th International Conference on Inductive
               Logic Programming, Kyoto University, Kyoto, Japan, August 20th to
               22nd, 2015.},
  pages     = {17--32},
  year      = {2015},
  crossref  = {DBLP:conf/ilp/2015lbr},
  url       = {http://ceur-ws.org/Vol-1636/paper-02.pdf},
  timestamp = {Fri, 15 Jul 2016 11:37:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ilp/FarquharGCMB15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ilp/CropperTM15,
  author    = {Andrew Cropper and
               Alireza Tamaddoni{-}Nezhad and
               Stephen H. Muggleton},
  title     = {Meta-Interpretive Learning of Data Transformation Programs},
  booktitle = {Inductive Logic Programming - 25th International Conference, {ILP}
               2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers},
  pages     = {46--59},
  year      = {2015},
  crossref  = {DBLP:conf/ilp/2015},
  url       = {https://doi.org/10.1007/978-3-319-40566-7_4},
  doi       = {10.1007/978-3-319-40566-7_4},
  timestamp = {Wed, 17 May 2017 14:24:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ilp/CropperTM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/scai/CropperM15,
  author    = {Andrew Cropper and
               Stephen Muggleton},
  title     = {Can predicate invention compensate for incomplete background knowledge?},
  booktitle = {Thirteenth Scandinavian Conference on Artificial Intelligence - {SCAI}
               2015, Halmstad, Sweden, November 5-6, 2015},
  pages     = {27--36},
  year      = {2015},
  crossref  = {DBLP:conf/scai/2015},
  url       = {https://doi.org/10.3233/978-1-61499-589-0-27},
  doi       = {10.3233/978-1-61499-589-0-27},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/scai/CropperM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iccsw/Cropper14,
  author    = {Andrew Cropper},
  title     = {Identifying and inferring objects from textual descriptions of scenes
               from books},
  booktitle = {2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September
               25-26, 2014, London, United Kingdom},
  pages     = {19--26},
  year      = {2014},
  crossref  = {DBLP:conf/iccsw/2014},
  url       = {https://doi.org/10.4230/OASIcs.ICCSW.2014.19},
  doi       = {10.4230/OASIcs.ICCSW.2014.19},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iccsw/Cropper14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ilp/CropperM14,
  author    = {Andrew Cropper and
               Stephen H. Muggleton},
  title     = {Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning},
  booktitle = {Inductive Logic Programming - 24th International Conference, {ILP}
               2014, Nancy, France, September 14-16, 2014, Revised Selected Papers},
  pages     = {62--75},
  year      = {2014},
  crossref  = {DBLP:conf/ilp/2014},
  url       = {https://doi.org/10.1007/978-3-319-23708-4_5},
  doi       = {10.1007/978-3-319-23708-4_5},
  timestamp = {Wed, 17 May 2017 14:24:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ilp/CropperM14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2016,
  editor    = {Subbarao Kambhampati},
  title     = {Proceedings of the Twenty-Fifth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
               2016},
  publisher = {{IJCAI/AAAI} Press},
  year      = {2016},
  url       = {http://www.ijcai.org/Proceedings/2016},
  isbn      = {978-1-57735-770-4},
  timestamp = {Fri, 15 Jul 2016 15:25:58 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015,
  editor    = {Qiang Yang and
               Michael Wooldridge},
  title     = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://ijcai.org/proceedings/2015},
  isbn      = {978-1-57735-738-4},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ijcai/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ilp/2015lbr,
  editor    = {Katsumi Inoue and
               Hayato Ohwada and
               Akihiro Yamamoto},
  title     = {Late Breaking Papers of the 25th International Conference on Inductive
               Logic Programming, Kyoto University, Kyoto, Japan, August 20th to
               22nd, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1636},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1636},
  urn       = {urn:nbn:de:0074-1636-C},
  timestamp = {Fri, 15 Jul 2016 11:37:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ilp/2015lbr},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ilp/2015,
  editor    = {Katsumi Inoue and
               Hayato Ohwada and
               Akihiro Yamamoto},
  title     = {Inductive Logic Programming - 25th International Conference, {ILP}
               2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9575},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40566-7},
  doi       = {10.1007/978-3-319-40566-7},
  isbn      = {978-3-319-40565-0},
  timestamp = {Wed, 17 May 2017 14:24:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ilp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/scai/2015,
  editor    = {Slawomir Nowaczyk},
  title     = {Thirteenth Scandinavian Conference on Artificial Intelligence - {SCAI}
               2015, Halmstad, Sweden, November 5-6, 2015},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {278},
  publisher = {{IOS} Press},
  year      = {2015},
  isbn      = {978-1-61499-588-3},
  timestamp = {Mon, 02 Nov 2015 11:43:32 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/scai/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iccsw/2014,
  editor    = {Rumyana Neykova and
               Nicholas Ng},
  title     = {2014 Imperial College Computing Student Workshop, {ICCSW} 2014, September
               25-26, 2014, London, United Kingdom},
  series    = {{OASICS}},
  volume    = {43},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2014},
  isbn      = {978-3-939897-76-7},
  timestamp = {Fri, 14 Nov 2014 14:57:46 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/iccsw/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ilp/2014,
  editor    = {Jesse Davis and
               Jan Ramon},
  title     = {Inductive Logic Programming - 24th International Conference, {ILP}
               2014, Nancy, France, September 14-16, 2014, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9046},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23708-4},
  doi       = {10.1007/978-3-319-23708-4},
  isbn      = {978-3-319-23707-7},
  timestamp = {Wed, 17 May 2017 14:24:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ilp/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier