Reasoning web : second international summer school 2006, Lisbon, Portugal, September 4-8, 2006 : tutorial lectures - Barahona, P. (Pedro), 1954- (Lecture notes in computer science ;, 2006)