Steffen Hölldobler Andrey Malikov Christoph Wernhard (Eds.) Young Scientists’ International Workshop on Trends in Information Processing (YSIP) Proceedings North-Caucasus Federal University Stavropol, Russian Federation April 22–25, 2014 Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6) Volume Editors Steffen Hölldobler International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany email: sh@iccl.tu-dresden.de Andrey Malikov Institute for Information Processing and Telecommunication North-Caucasus Federal University Stavropol Russian Federation email: Malikov@ncstu.ru Christoph Wernhard International Center for Computational Logic Technische Universität Dresden 01062 Dresden, Germany email: christoph.wernhard@tu-dresden.de Copyright c 2014 for the individual papers by the papers’ authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors. 3 Preface The idea to organize an international workshop for young researchers was born during a discussion within the organization committee of the International Con- ference on Infocommunicational Technologies in Science, Production and Educa- tion (INFOCOM-6). In particular, we wanted to bring together master and PhD students from Russia and Europe to present and to discuss their new scientific results in Information Processing. We have accepted eight technical papers and a tutorial for presentation at the workshop and publication in these proceedings. The papers were reviewed by an international program committee and we would like to thank Viktorija Drozdova, Ulrich Furbach, Joáo Leite, Igor Mandriza, Sergei Obiedkov, Josef Schneeberger, and Sergio Tessaris for providing the reviews. We would also like to thank the North-Caucasus Federal University and, in particular, Oxana Mesentseva, Tatyana Kortchagina and her team of the Inter- national Department as well as Julia Komarova for their help and support in organizing this event. Steffen Hölldobler Andrey Malikov Christoph Wernhard Dresden and Stavropol April 2014 4 Chairs Steffen Hölldobler Technische Universität Dresden, Dresden, Germany Andrey Malikov North-Caucasus Federal University, Stavropol, Russian Federation Christoph Wernhard Technische Universität Dresden, Dresden, Germany Program Committee Viktorija Drozdova North-Caucasus Federal University, Stavropol, Russian Federation Ulrich Furbach Universität Koblenz-Landau, Koblenz, Germany Steffen Hölldobler Technische Universität Dresden, Dresden, Germany Joáo Leite Universidade Nova de Lisboa, Lisbon, Portugal Andrey Malikov North-Caucasus Federal University, Stavropol, Russian Federation Igor Mandriza North-Caucasus Federal University, Stavropol, Russian Federation Sergei Obiedkov Higher School of Economics, Moscow, Russian Federation Josef Schneeberger University of Applied Science Deggendorf, Deggendorf, Germany Sergio Tessaris Free University of Bozen-Bolzano, Bolzano, Italy Christoph Wernhard Technische Universität Dresden, Dresden, Germany 5 Table of Contents Research Papers Sergey Cherevko and Andrey Malikov Review of Modern Techniques of Qualitative Data Clustering . . . . . . . . . 7 Steffen Hölldobler and Ferdian Jovan Advanced Petri Nets and the Fluent Calculus . . . . . . . . . . . . . . . . . . . . . . . . 15 Steffen Hölldobler, Norbert Manthey, Tobias Philipp and Peter Steinke Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 Roman Nemkov Dynamical Change of the Perceiving Properties of Neural Networks as Training with Noise and Its Impact on Pattern Recognition . . . . . . . 35 Alina Petrova A Pipeline for Supervised Formal Definition Generation . . . . . . . . . . . . . 41 Elena Stepanova, Alexey Liagin, and Alla Pletukhina Properties of Majority Transformations under Random Processes Parameters Measurement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 Denis Tananaev, Galina Shagrova and Victor Kozhevnikov Identification of Exploitation Conditions of the Automobile Tire while Car Driving by Means of Hidden Markov Models . . . . . . . . . . . . . . . 57 Vladimir Volonkin DBMS Index for Hierarchical Data Using Nested Intervals and Residue Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67 Tutorial Steffen Hölldobler and Lukas Schweizer Answer Set Programming and CLASP – A Tutorial . . . . . . . . . . . . . . . . . . 77