Reasoning web third international summer school 2007, Dresden, Germany, September 3-7, 2007 : tutorial lectures / - Antoniou, G. (LNCS sublibrary.)