Prof Lars Kotthoff
Johann and Gaynor Rupert Chair in Artificial Intelligence
Selected publications
-
Case Studies and Challenges in Reproducibility in the Computational Sciences
Arabas, S., Bareford, M. R., Gent, I. P., Gorman, B. M., Hajiarabderkani, M., Henderson, T., Hutton, L., Konovalov, A., Kotthoff, L., McCreesh, C., Paul, R. R., Petrie, K. E. J., Razaq, A., Reijsbergen, D. & Takeda, K., 1 Sept 2014, (In preparation) arXiv.Research output: Other contribution
-
Discriminating instance generation for automated constraint model selection
Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer-Verlag, Vol. 8656 LNCS. p. 356-365 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8656 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Recomputation.org: Experiences of its first year and lessons learned
Gent, I. P. & Kotthoff, L., 29 Jan 2014, Proceedings - 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, UCC 2014. Institute of Electrical and Electronics Engineers Inc., p. 968-973 6 p. 7027625. (Proceedings - 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing, UCC 2014).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Web-scale distributed eScience AI search across disconnected and heterogeneous infrastructures
Kelsey, T., McCaffery, M. & Kotthoff, L., 2 Dec 2014, Proceedings - 2014 IEEE 10th International Conference on eScience, eScience 2014. IEEE, Vol. 1. p. 39-46 8 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
An Automated Constraint Modelling and Solving Toolchain
Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Automated Symmetry Breaking and Model Selection in Conjure
Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An Automated Approach to Generating Efficient Constraint Solvers
Balasubramaniam, D., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P., 2012, 2012 34th international conference on software engineering (ICSE 2012): Zurich, Switzerland 2-9 June 2012. IEEE, p. 661-671 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
An Evaluation of Machine Learning in Algorithm Selection for Search Problems
Kotthoff, L., Gent, I. P. & Miguel, I. J., 2012, In: AI Communications. 25, 3, p. 257-270 14 p.Research output: Contribution to journal › Article › peer-review
-
The semigroups of order 10
Distler, A., Jefferson, C. A., Kelsey, T. & Kotthoff, L., 2012, Principles and Practice of Constraint Programming: 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings. Milano, M. (ed.). Springer, p. 883-899 17 p. (Lecture Notes in Computer Science; vol. 7514).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A preliminary evaluation of machine learning in algorithm selection for search problems
Kotthoff, L., Gent, I. P. & Miguel, I., 15 Jul 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search (SoCS 2011). Palo Alto, CA: Association for the Advancement of Artificial Intelligence, p. 84-91 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution