Intelligent Autonomous Systems (IAS) are the physical embodiment of machine intelligence providing a core concept for integrating various advanced technologies with pattern recognition and learning. The basic philosophy of IAS research is to explore and understand the nature of intelligence in problems of perception, reasoning, learning and...

"Paul Nahin's Digital Dice is a marvelous book, one that is even better than his Duelling Idiots. Nahin presents twenty-one great probability problems, from George Gamow's famous elevator paradox (as corrected by Donald Knuth) to a bewildering puzzle involving two rolls of toilet paper, and he solves them all with the aid...

Coalgebraic logic is an important research topic in the areas of concurrency theory, semantics, transition systems and modal logics. It provides a general approach to modeling systems, allowing us to apply important results from coalgebras, universal algebra and category theory in novel ways. Stochastic systems provide important tools for...

The 18 revised full papers, 5 revised poster papers, and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected for...

This book is really the end product of over a decade of work, on and off, on diagrammatic reasoning in artificial intelligence (AI). In developing this book, I drew inspiration from a variety of sources: two experimental studies, the development of two prototype systems, an extensive literature review and analysis in AI,...

The motivation behind the conception of this monograph was to advance scientific knowledge about the design and control of workflow processes. A workflow pr- ess (or workflow for short) is a specific type of business process, a way of or- nizing work and resources. Workflows are commonly found within large admin- trative organizations such as...