This book constitutes the refereed proceedings of the 44th German Conference on Artificial Intell...

This book constitutes the refereed proceedings of the 5th Computer Games Workshop, CGW 2016, and ...

This book constitutes therefereed proceedings of the 34th Annual German Conference on Artificia...

This book presents the proceedings of the 14th International SPIN workshop on Model Checking Soft...

This book constitutes the refereed proceedings of the Fourth Computer Games Workshop, CGW 2015, a...

Search has been vital to artificial intelligence from the very beginning as a core technique in p...

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence a...

In this book the author argues that the basis of what we consider computer intelligence has algor...

The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligenc...

This book presents the proceedings of the 14th International SPIN workshop on Model Checking S...

This book constitutes the refereed proceedings of the Fourth Computer Games Workshop, CGW 2015, a...

In this book the author argues that the basis of what we consider computer intelligence has al...