This volume presents the latest developments in the growing area of research at the interface of argumentation theory and ...
Weiterlesen
This book constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence and Soft Computing, ...
Weiterlesen
This book describes a number of applications of Artificial Intelligence in the field of Customer Relationship Management ...
Weiterlesen
Providing a forum for the exchange of ideas in AI, this book provides a concise yet comprehensive coverage of methodologies, ...
Weiterlesen
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
Weiterlesen
This two-volume set LNAI 12163 and 12164 constitutes the refereed proceedings of the 21th International Conference on Artificial ...
Weiterlesen
Introduces readers to various topics and examples of programming in Python, as well as key concepts in artificial intelligence. ...
Weiterlesen
The AIMSA conference series was frst conceived in 1984 as a gathering of AI researchers and students from Eastern and Central ...
Weiterlesen
Covers the internals of front and back propagation and helps you understand the main principles of neural network processing. ...
Weiterlesen
This book It collects contributions of authors from a multidisciplinary area who focus on the topic of automatic text analysis ...
Weiterlesen
The papers in this volume represent the results of a workshop on the syntax, semantics and acquisition of aspect held in ...
Weiterlesen
Focuses on its primary goal, to teach students how to write and debug programs at the machine level. It will never replace ...
WeiterlesenFocuses on its primary goal, to teach students how to write and debug programs at the machine level. It will never replace ...
Weiterlesen
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...
Weiterlesen
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 ...
Weiterlesen
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
Weiterlesen
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
Weiterlesen
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Weiterlesen
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Weiterlesen
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
Weiterlesen