Outputs (2)

Hyper-heuristics: theory and applications (2018)
Book
Pillay, N., & Qu, R. (2018). Hyper-heuristics: theory and applications. Springer Nature. https://doi.org/10.1007/978-3-319-96514-7

This introduction to the field of hyper-heuristics presents the required foundations and tools and illustrates some of their applications. The authors organized the 13 chapters into three parts. The first, hyper-heuristic fundamentals and theory, pro... Read More about Hyper-heuristics: theory and applications.

Model checking for Coalition Announcement Logic (2018)
Presentation / Conference Contribution
Galimullin, R., Alechina, N., & van Ditmarsch, H. (2018, September). Model checking for Coalition Announcement Logic. Presented at KI 2018: Advances in Artificial Intelligence, Berlin, Germany

Coalition Announcement Logic (CAL) studies how a group of agents can enforce a certain outcome by making a joint announcement, regardless of any announcements made simultaneously by the opponents. The logic is useful to model imperfect information ga... Read More about Model checking for Coalition Announcement Logic.