Computing AI and Machine Learning Live 2018
Dr Tom Kelsey will be an expert panel member for the launch event on the future of artificial intelligence and machine learning held at the London Marriott Hotel, November 2018.
AI
Fable-based Learning: Seminar by Prof Jimmy Lee
CUHK + UniMelb = Fable-based Learning + A Tale of Two Cities Prof Jimmy Lee, Chinese University of Hong Kong This talk reports on the pedagogical innovation and experience of a joint venture by The Chinese University of Hong Kong (CUHK) and the University of Melbourne (UniMelb) in the development of MOOCs on the computer … Fable-based Learning: Seminar by Prof Jimmy Lee
Seminar: SMT, Planning and Snowmen
Professor Mateu Villaret, from Universitat de Girona is a visiting scholar with the AI group from July 1st until September 30th. Professor Villaret works on algorithms for routing and scheduling with the AI group at St Andrews. As well as solving practical problems, he also enjoys puzzle games. That is the basis of this talk, … Seminar: SMT, Planning and Snowmen
Seminar: AI-augmented algorithms — how I learned to stop worrying and love choice
The speaker is Lars Kotthoff, previously a PhD student here, now and Assistant Professor at the University of Wyoming. All welcome. Often, there is more than one way to solve a problem. It could be a different parameter setting, a different piece of software, or an entirely different approach. Choosing the best way is … Seminar: AI-augmented algorithms — how I learned to stop worrying and love choice
SRG Seminar: “Interactional Justice vs. The Paradox of Self-Amendment and the Iron Law of Oligarchy” by Jeremy Pitt
Self-organisation and self-governance offer an effective approach to resolving collective action problems in multi-agent systems, such as fair and sustainable resource allocation. Nevertheless, self-governing systems which allow unrestricted and unsupervised self-modification expose themselves to several risks, including the Suber’s paradox of self-amendment (rules specify their own amendment) and Michel’s iron law of oligarchy (that the … SRG Seminar: “Interactional Justice vs. The Paradox of Self-Amendment and the Iron Law of Oligarchy” by Jeremy Pitt
n-Queens Completion is NP-Complete
Update, 2021 Over the years since we published this research, many people have approached us having solved the n queens puzzle, either for one n like 8 or 1000, or having written an algorithm to solve it for different sizes. Unfortunately this is not a major result in Computer Science and does not make one … n-Queens Completion is NP-Complete
Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)
Jacob Howe, City University, London Abstract: This talk will recap how a watched literal DPLL based SAT solver can be succinctly coded in 20 lines of Prolog. The focus of the talk will be the extension of this solver to an SMT solver which will be discussed with a particular focus on the case where the … Seminar: Propagation and Reification: SAT and SMT in Prolog (continued)
Success in the Laidlaw Undergraduate Internship Programme in Research and Leadership
Congratulations to Patrick Schrempf and Billy Brown who have been successful in their applications for a Laidlaw Undergraduate Internship in Research and Leadership for 2017. You can read further details about Billy and Patrick below. Billy Brown: I’m a fourth year Computer Science student from Belgium with too much interest for the subject. I play … Success in the Laidlaw Undergraduate Internship Programme in Research and Leadership