Outputs (3)

Central H-spaces and banded types (2025)
Journal Article
Buchholtz, U. T., Christensen, J. D., Flaten, J. G. T., & Rijke, E. (2025). Central H-spaces and banded types. Journal of Pure and Applied Algebra, 229(6), Article 107963. https://doi.org/10.1016/j.jpaa.2025.107963

We introduce and study central types, which are generalizations of Eilenberg-Mac Lane spaces. A type is central when it is equivalent to the component of the identity among its own self-equivalences. From centrality alone we construct an infinite del... Read More about Central H-spaces and banded types.

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.