• KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Artificial intelligence (ai); decision-making and optimisation; combinational search; constraint modelling and solving; propositional satisfiability (sat)

Filter
Chapter

Search results

  • 2014

    Breaking conditional symmetry in automated constraint modelling with CONJURE

    Akgün, Ö., Gent, I., Jefferson, C., Miguel, I. & Nightingale, P., 18 Aug 2014, ECAI 2014. Schaub, T., Friedrich, G. & O'Sullivan, B. (eds.). IOS Press, p. 3-8 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Open Access
    File
    5 Citations (Scopus)
    2 Downloads (Pure)
  • 2010

    Conjure Revisited: Towards Automated Constraint Modelling

    Akgün, Ö., Frisch, A. M., Hnich, B., Jefferson, C. A. & Miguel, I. J., 2010, ModRef 2010 - The 9th International Workshop on Constraint Modelling and Reformulation.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2006

    Chapter 21 Uncertainty and change

    Brown, K. N. & Miguel, I., 2006, Foundations of Artificial Intelligence. C ed. Elsevier, p. 731-760 30 p. (Foundations of Artificial Intelligence; vol. 2, no. C).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    15 Citations (Scopus)
  • 2004

    Echelon stock formulation of arborescent distribution systems: An application to the Wagner-Whitin problem

    Tarim, S. A. & Miguel, I., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Regin, J-C. & Rueher, M. (eds.). Springer-Verlag, p. 302-318 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3011).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Citation (Scopus)