Stefan Edelkamp profile picture

Stefan Edelkamp

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Heuristic search
Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling
Model Checking and Artificial Intelligence
Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligence
KI 2021: Advances in Artificial Intelligence
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
KI 2011: Advances in Artificial Intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings
Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligence
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
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