Chapman & Hall/CRC
Studies in Informatics Series
MATHEMATICAL
ASPECTS OF LOGIC
PROGRAMMING
SEMANTICS
Pascal Hitzler
Kno.e.sis Center at
Wright State University
Dayton, Ohio, USA
antHony seda
University College Cork
Ireland