Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21–24, 2023, Tutorial Lectures Console, Marco Heftet / 2025 / Engelsk
Frontiers of Combining Systems 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007. Proceedings Konev Boris Heftet / 2007 / Engelsk
Frontiers of Combining Systems 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings Konev Boris Heftet / 2021 / Engelsk
Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings Fisher, Michael Heftet / 2006 / Engelsk
