Prof Lars Kotthoff

Prof Lars Kotthoff

Johann and Gaynor Rupert Chair in Artificial Intelligence

Email
lk223@st-andrews.ac.uk

 

Selected publications

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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

  • 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