Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligence Edelkamp Stefan Innbundet / 2023 / Engelsk
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers Edelkamp Stefan Heftet / 2007 / Engelsk
KI 2011: Advances in Artificial Intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings Bach Joscha Heftet / 2011 / Engelsk
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings Bosnacki Dragan Heftet / 2007 / Engelsk
KI 2021: Advances in Artificial Intelligence 44th German Conference on AI, Virtual Event, September 27 – October 1, 2021, Proceedings Edelkamp Stefan Heftet / 2021 / Engelsk
Computer Games 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised Selected Papers Cazenave Tristan Heftet / 2017 / Engelsk
Computer Games Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers Cazenave Tristan Heftet / 2016 / Engelsk
