Hidden semi-Markov models (HSMMs) are among the most important models in the area of artificial intelligence / machine learning. Since the first HSMM...
Algorithms for Automating Open Source Intelligence (OSINT) presents information on the gathering of information and extraction of actionable...
Every major enterprise has a significant installed base of existing software systems that reflect the tangled IT architectures that result from...
Constraint Programming aims at solving hard combinatorial problems, with a computation time increasing in practice exponentially. The methods are...
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical...
This is the first comprehensive introduction to computational learning theory. The author's uniform presentation of fundamental results and their...
A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, Principles of Artificial Intelligence...
Automated Theorem Proving: A Logical Basis
Although many texts exist offering an introduction to artificial intelligence (AI), this book is unique in that it places an emphasis on knowledge...
Recent results and ongoing research in Artificial Intelligence are described in this book, with emphasis on fundamental questions in several key...