Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures - Tessaris, Sergio; Franconi, Enrico; Eiter, Thomas; Gutierrez, Claudio; Handschuh, Siegfried; Rousset, Marie-Christine.; Schmidt, Renate A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Computer software; Logic design; Algebra -- Data processing; Information systems; Computer Science; Information Systems Applications (incl.Internet).; Symbolic and Algebraic Manipulation; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Mathematics of Computing; Algorithm Analysis and Problem Complexity