View All Book Series

BOOK SERIES


Chapman & Hall/CRC Studies in Informatics Series


9 Series Titles

Per Page
Sort

Display
Automation of Logic

Automation of Logic

1st Edition

Forthcoming

Christoph Weidenbach
April 01, 2019

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...

Conceptual Structures in Practice

Conceptual Structures in Practice

1st Edition

Pascal Hitzler, Henrik Scharfe
June 14, 2017

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...

Mathematical Aspects of Logic Programming Semantics

Mathematical Aspects of Logic Programming Semantics

1st Edition

Pascal Hitzler, Anthony Seda
June 14, 2017

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...

Ubiquitous Multimedia Computing

Ubiquitous Multimedia Computing

1st Edition

Qing Li, Timothy K. Shih
June 14, 2017

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...

Agent-Based Modeling and Simulation with Swarm

Agent-Based Modeling and Simulation with Swarm

1st Edition

Hitoshi Iba
November 08, 2016

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...

Foundations of Fuzzy Logic and Semantic Web Languages

Foundations of Fuzzy Logic and Semantic Web Languages

1st Edition

Umberto Straccia
August 27, 2013

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...

Introduction to Mathematics of Satisfiability

Introduction to Mathematics of Satisfiability

1st Edition

Victor W. Marek
September 22, 2009

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...

Context-Aware Computing and Self-Managing Systems

Context-Aware Computing and Self-Managing Systems

1st Edition

Waltenegus Dargie
March 25, 2009

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...

Stochastic Relations: Foundations for Markov Transition Systems

Stochastic Relations: Foundations for Markov Transition Systems

1st Edition

Ernst-Erich Doberkat
May 17, 2007

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...

AJAX loader