Search Results for Edelkamp, Stefan.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEdelkamp$00252C$002bStefan.$0026ps$003d300?dt=list2026-06-01T22:29:32ZHeuristic search theory and applicationsent://SD_ILS/0/SD_ILS:1455622026-06-01T22:29:32Z2026-06-01T22:29:32ZAuthor Edelkamp, Stefan. Schrödl, Stefan.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123725127">http://www.sciencedirect.com/science/book/9780123725127</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligenceent://SD_ILS/0/SD_ILS:5204222026-06-01T22:29:32Z2026-06-01T22:29:32ZAuthor Edelkamp, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65596-3">https://doi.org/10.1007/978-3-319-65596-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:1870632026-06-01T22:29:32Z2026-06-01T22:29:32ZAuthor Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74128-2">http://dx.doi.org/10.1007/978-3-540-74128-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>KI 2011: Advances in Artificial Intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedingsent://SD_ILS/0/SD_ILS:1956432026-06-01T22:29:32Z2026-06-01T22:29:32ZAuthor Bach, Joscha. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24455-1">http://dx.doi.org/10.1007/978-3-642-24455-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868282026-06-01T22:29:32Z2026-06-01T22:29:32ZAuthor Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73370-6">http://dx.doi.org/10.1007/978-3-540-73370-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:6155662026-06-01T22:29:32Z2026-06-01T22:29:32ZAuthor Cazenave, Tristan. editor. Winands, Mark H.M. editor. (orcid)0000-0002-0125-0824 Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57969-6">https://doi.org/10.1007/978-3-319-57969-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>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 Papersent://SD_ILS/0/SD_ILS:6121032026-06-01T22:29:32Z2026-06-01T22:29:32ZAuthor Cazenave, Tristan. editor. (orcid)0000-0003-4669-9374 Winands, Mark H.M. editor. Edelkamp, Stefan. editor. Schiffel, Stephan. editor. Thielscher, Michael. editor. (orcid)0000-0003-0885-2702<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39402-2">https://doi.org/10.1007/978-3-319-39402-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>