Abstract is missing.
- Review of Modern Techniques of Qualitative Data ClusteringSergey Cherevko, Andrey Malikov. 7-13 [doi]
- Advanced Petri Nets and the Fluent CalculusSteffen Hölldobler, Ferdian Jovan. 15-24 [doi]
- Generic CDCL - A Formalization of Modern Propositional Satisfiability SolversSteffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke. 25-34 [doi]
- Dynamical Change of the Perceiving Properties of Neural Networks as Training with Noise and Its Impact on Pattern RecognitionRoman Nemkov. 35-40 [doi]
- A Pipeline for Supervised Formal Definition GenerationAlina Petrova. 41-51 [doi]
- Properties of Majority Transformations under Random Processes Parameters MeasurementElena Stepanova, Alexey Liagin, Alla Pletukhina. 53-56 [doi]
- Identification of Exploitation Conditions of the Automobile Tire while Car Driving by Means of Hidden Markov ModelsDenis Tananaev, Galina Shagrova, Victor Kozhevnikov. 57-66 [doi]
- DBMS Index for Hierarchical Data Using Nested Intervals and Residue ClassesVladimir Volonkin. 67-76 [doi]
- Answer Set Programming and CLASP - A TutorialSteffen Hölldobler, Lukas Schweizer. 77-95 [doi]