Contents - Volume 17(30), 2009

Logic in Knowledge Representation and Exploration