Chapman & Hall/CRC
Studies in Informatics Series
�
SERIES EDITOR
G. Q. Zhang
Department of EECS
�
Case Western Reserve University
�
Cleveland, Ohio, U.S.A.
�
PUBLISHED TITLES
Stochastic Relations: Foundations for Markov Transition Systems
Ernst-Erich Doberkat
Conceptual Structures in Practice
Pascal Hitzler and Henrik Schärfe
Context-Aware Computing and Self-Managing Systems
Waltenegus Dargie
Introduction to Mathematics of Satisfiability
Victor W. Marek
Ubiquitous Multimedia Computing
Qing Li and Timothy K. Shih
Mathematical Aspects of Logic Programming Semantics
Pascal Hitzler and Anthony Seda