| Vol-1145 urn:nbn:de:0074-1145-4 Copyright © 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.

# YSIP 2014
Young Scientists' International Workshop on Trends in Information Processing

### Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP)
Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6)

### Stavropol, Russian Federation, April 22-25, 2014.

Edited by

### Steffen Hölldobler *
Andrey Malikov **
Christoph Wernhard *

* International Center for Computational Logic, Technische Universität Dresden, Dresden, Germany
** Institute for Information Processing and Telecommunication, North-Caucasus Federal University, Stavropol, Russian Federation

Complete workshop proceedings as one file.

## Table of Contents

- Preface

### Research Papers

- Review of Modern Techniques of Qualitative Data Clustering 7-13
  Sergey Cherevko, Andrey Malikov
- Advanced Petri Nets and the Fluent Calculus 15-24
  Steffen Hölldobler, Ferdian Jovan
- Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers 25-34
  Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
- Dynamical Change of the Perceiving Properties of Neural Networks as Training with Noise and Its Impact on Pattern Recognition 35-40
  Roman Nemkov
- A Pipeline for Supervised Formal Definition Generation 41-51
  Alina Petrova
- Properties of Majority Transformations under Random Processes Parameters Measurement 53-56
  Elena Stepanova, Alexey Liagin, Alla Pletukhina
- Identification of Exploitation Conditions of the Automobile Tire while Car Driving by Means of Hidden Markov Models 57-66
  Denis Tananaev, Galina Shagrova, Victor Kozhevnikov
- DBMS Index for Hierarchical Data Using Nested Intervals and Residue Classes 67-76
  Vladimir Volonkin

### Tutorial

- Answer Set Programming and CLASP – A Tutorial 77-95
  Steffen Hölldobler, Lukas Schweizer

2014-04-14: submitted by Christoph Wernhard
2014-04-15: published on CEUR-WS.org |valid HTML5|