Folge 1: Die weiße LöwinSeit Tagen fehlt jede Spur von der Lehrerin Inga Hedemann , die sich in d...

Since Alan Turing first posed the question 'Can machines think?' artificial intelligence has evol...

Constraint programming is a powerful paradigm for solving combinatorial search problems that draw...

This book is devoted to recent progress made in solving propositional satisfiability and related ...

This book constitutes the thoroughly refereed conference proceedings of the 4th International Con...

This book constitutes the refereed proceedings of the 20th International Conference on Theory and...

This volume contains the proceedings of SARA 2000, the fourth Symposium on Abstraction, Reformula...

This book constitutes the refereed proceedings of the 7th International Conference on Principles ...

The 8th International Conference on Theory and Applications of Satis?ability Testing(SAT2005)prov...

What does a world of smart machines actually look like? AI expert Toby Walsh predicts the state o...

Computational social choice is an expanding field that merges classical topics like economics and...

Machines Behaving Badly