Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Heuristic search theory and applications
Heuristic search theory and applications
Author 
Edelkamp, Stefan. Schrödl, Stefan.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123725127
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligence
Algorithmic Intelligence Towards an Algorithmic Foundation for Artificial Intelligence
Author 
Edelkamp, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65596-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Author 
Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for KI 2011: Advances in Artificial Intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings
KI 2011: Advances in Artificial Intelligence 34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011. Proceedings
Author 
Bach, Joscha. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-24455-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings
Author 
Bošnački, Dragan. editor. Edelkamp, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73370-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for 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
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
Author 
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
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57969-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for 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
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
Author 
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
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39402-2
Format: 
Availability 
Online Library~1
Available:
Copies: