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...
Perspectives in Artificial Intelligence, Volume 1: Case-Based Planning: Viewing Planning as a Memory Task focuses on the processes, methodologies, and...
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical...
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists...
A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, Principles of Artificial Intelligence...
This is the first comprehensive introduction to computational learning theory. The author's uniform presentation of fundamental results and their...
Automated Theorem Proving: A Logical Basis