Bøger i Chapman & Hall/CRC Studies in Informatics Series serien

Presenting first-order and propositional methods as well as implementation issues, this book provides a state-of-the-art introduction to the automation of logic. It focuses on superposition calculus and related rewriting techniques. It also covers decision procedures for certain theories and includes real-world applications. Along with the relevant theory, each chapter contains implementation methods, historical background, suggestions for further reading, and software. Supplemental materials and resources are provided on the book's website and a solutions manual is available for qualifying instructors.

Exploring fundamental research questions, this title takes you through the basic yet nontrivial task of establishing conceptual relations as the foundation for research in knowledge representation and knowledge mining. It includes contributions from some of the leading researchers in the conceptual graph and formal concept analysis communities.

A thorough overview of multi-agent simulation and supporting tools, this book provides the methodology for a multi-agent-based modeling approach that integrates computational techniques such as artificial life, cellular automata, and bio-inspired optimization. It shows how this type of simulation is used to acquire an understanding of complex systems and artificial life. The author carefully explains how to construct a simulation program for various applications. Swarm-based software and source codes are available on his website.

Develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, this book examines the central topics of congruences and morphisms and applies these to the monoidal structure.