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

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...

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

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

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

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

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

If governed adequately, AI (artificial intelligence) has the potential to benefit humankind enorm...

Artificial intelligence is an essential part of our lives - for better or worse. It can be used t...

Erstverkaufstag: 14.01.2026