This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23a29, 2010 in the Hotel Bed? richov, ? Spindler? uv Mlyn, Aa of the Krkono? se Mountains of the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch, and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter School aspects, suchasa highnumber of invitedtalksandanin-depth coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was organized around the following four tracks: a Foundations of Computer Science (Chairs: David Peleg, Anca Muscholl) a Principles of Software Construction (Chair: Bernhard Rumpe) a Data, Knowledge, and Intelligent Systems (Chair: Jaroslav PokornAa y) a Web Science (Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the latest advances in research, both theoretical and applied, in leading areas of computer science. The SOFSEM 2010 Program Committee consisted of 78 international experts from 20 di?erent countries, representing the track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional Student Research - rum (SRF, Chair: Ma Aaria BielikovAa a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti?c results and on their work in progress.According to the paper , the instance problem for DLs with aggregation is polynomially decidable, provided that the ... Then the minimal model will be different: aAudiA3 : good car, 0.32a aMercedesBenz280 : good car, 0.63a Instead ofanbsp;...
|Title||:||SOFSEM 2010: Theory and Practice of Computer Science|
|Author||:||Jan van Leeuwen|
|Publisher||:||Springer Science & Business Media - 2010-01-20|