New and Published Books
1-9 of 9 results in Chapman & Hall/CRC Studies in Informatics Series
Managing vagueness/fuzziness is starting to play an important role in Semantic Web research, with a large number of research efforts underway. Foundations of Fuzzy Logic and Semantic Web Languages provides a rigorous and succinct account of the mathematical methods and tools used for representing...
Published August 27th 2013 by Chapman and Hall/CRC
Swarm-based multi-agent simulation leads to better modeling of tasks in biology, engineering, economics, art, and many other areas. It also facilitates an understanding of complicated phenomena that cannot be solved analytically. Agent-Based Modeling and Simulation with Swarm provides the...
Published June 24th 2013 by Chapman and Hall/CRC
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...
Published June 15th 2012 by Chapman and Hall/CRC
Covering the authors’ own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from...
Published November 22nd 2010 by CRC Press
Computing is ubiquitous and if you think otherwise, that in itself might be the best evidence that it is so. Computers are omnipresent in modern life and the multimedia computing environment of today is becoming more and more seamless. Bringing together contributions from dozens of leading experts...
Published November 24th 2009 by Chapman and Hall/CRC
Although this area has a history of over 80 years, it was not until the creation of efficient SAT solvers in the mid-1990s that it became practically important, finding applications in electronic design automation, hardware and software verification, combinatorial optimization, and more. Exploring...
Published September 22nd 2009 by Chapman and Hall/CRC
Exploring fundamental research questions, Conceptual Structures in Practice 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 leading researchers in...
Published May 6th 2009 by Chapman and Hall/CRC
Bringing together an extensively researched area with an emerging research issue, Context-Aware Computing and Self-Managing Systems presents the core contributions of context-aware computing in the development of self-managing systems, including devices, applications, middleware, and networks. The...
Published March 25th 2009 by Chapman and Hall/CRC
Foundations for Markov Transition Systems
Collecting information previously scattered throughout the vast literature, including the author’s own research, Stochastic Relations: Foundations for Markov Transition Systems develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the...
Published May 17th 2007 by Chapman and Hall/CRC
Automation of Logic
To Be Published January 15th 2016