| Vol-1492 urn:nbn:de:0074-1492-5 Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# CS&P 2015
Concurrency, Specification and Programming

### Proceedings of the 24th International Workshop on Concurrency, Specification and Programming

### Rzeszow, Poland, September 28-30, 2015.

Edited by

### Zbigniew Suraj, University of Rzeszow, Poland
Ludwik Czaja, University of Warsaw and Vistula University, Poland

## Table of Contents

### Part 1

- Front Matter

- Dynamic Programming Approach for Study of Decision Trees (invited paper) 1
  Mikhail Moshkov
- Rough Sets in Interactive Granular Computing (invited paper) 2
  Andrzej Skowron
- Time and Concurrency - Three Approaches for Intertwining Time and Petri Nets (invited paper) 3
  Louchka Popova-Zeugmann
- Comparison of Heuristics for Optimization of Association Rules 4-11
  Fawaz Alsolami, Talha Amin, Mikhail Moshkov, Beata Zielosko
- Dynamic Programming Approach for Construction of Association Rule Systems 12-21
  Fawaz Alsolami, Talha Amin, Igor Chikalov, Mikhail Moshkov, Beata Zielosko
- Considering Concurrency in Early Spacecraft Design Studies 22-30
  Jafar Akhundov, Peter Tröger, Matthias Werner
- Specialized Predictor for Reaction Systems with Context Properties 31-43
  Roberto Barbuti, Roberta Gori, Francesca Levi, Paolo Milazzo
- On Decidability of Persistence Notions 44-56
  Kamila Barylska, Lukasz Mikulski
- Specifying Functional Programs with Intuitionistic First Order Logic 57-63
  Marcin Benke
- Exploration of Knowledge Bases Inspired by Rough Set Theory 64-75
  Agnieszka Nowak-Brzezinska, Alicja Wakulicz-Deja
- Complexity Studies for Safe and Fan-Bounded Elementary Hornets 76-87
  Michael Köhler-Bußmeier, Frank Heitmann
- Monitoring with Parametrized Extended Life Sequence Charts 88-102
  Ming Chai, Bernd-Holger Schlingloff
- Remarks on Memory Consistency Description 103-114
  Ludwik Czaja
- The Method for Describing Changes in the Perception of Stenosis in Blood Vessels Caused by an Additional Drug 115-125
  Sylwia Buregwa-Czuma, Jan G. Bazan, Lech Zareba, Stanislawa Bazan-Socha, Przemyslaw W. Pardel, Barbara Sokolowska, Lukasz Dydo
- Dialogue in Hierarchical Learning of a Concept Using Prototypes and Counterexamples 126-133
  Soma Dutta, Piotr Wasilewski
- An Approach to Ambiguity Resolution for Ontology Population 134-145
  Natalia Garanina, Elena Sidorova
- Application of Genetic Algorithms and High-Performance Computing to the Traffic Signal Setting Problem 146-157
  Pawel Gora, Przemyslaw W. Pardel
- Lattice Theory for Rough Sets - An Experiment in Mizar 158-169
  Adam Grabowski
- Gained and Excluded Classified Actions by Dynamic Security Policies 170-181
  Damas P. Gruska
- Designing Reliable Communication for Heterogeneous Computer Systems 182-190
  Miroslaw Hajder, Janusz Kolbusz, Roman Korostenskyi
- Knowledge Pit - A Data Challenge Platform 191-195
  Andrzej Janusz, Dominik Slezak, Sebastian Stawicki, Mariusz Rosiak
- Toward Synchronization of EEG and Eye-tracking Data Using an Expert System 196-198
  Boleslaw Jaskula, Krzysztof Pancerz, Jaroslaw Szkola
- Data Integration through Clustering and Finding Statistical Relations - Validation of Approach 199-210
  Marek Jaszuk, Teresa Mroczek, Barbara Fryc
- Selected Methods of Combining Classifiers, when Predictions Are Stored in Probability Vectors, in a Dispersed Decision-Making System 211-222
  Malgorzata Przybyla-Kasperek
- Outliers Elimination for Error Correction Algorithm Improvement 223-234
  Janusz Kolbusz, Pawel Rozycki
- Core for Large Datasets: Rough Sets on FPGA 235-246
  Maciej Kopczynski, Tomasz Grzes, Jaroslaw Stepaniuk
- Sequential P Systems with Active Membranes Working on Sets 247-257
  Michal Kovác, Damas P. Gruska

- Author Index

### Part 2

- Front Matter

- Detecting Hazardous Events from Sequential Data with Multilayer Architectures 1-10
  Karol Kurach, Krzysztof Pawlowski
- Instance-Level Constraints in Density-Based Clustering 11-18
  Piotr Lasek
- Controlling Petri Net Behavior Using Time Constraints 19-33
  Irina A. Lomazova, Louchka Popova-Zeugmann
- Evaluation of Decision Table Decomposition Using Dynamic Programming Classifiers 34-43
  Michal Mankowski, Tadeusz Luba, Cezary Jankowski
- ExpTime Tableaux with Global Caching for Graded Propositional Dynamic Logic 44-56
  Linh Anh Nguyen
- Estimation and Feature Selection by Application of Knowledge Mined from Decision Rules Models 57-68
  Wieslaw Paja, Krzysztof Pancerz
- Information Systems and Soft Sets 69-72
  Zofia Machnicka, Marek Palasinski
- An Approach for Resolving Conflicts in Automatic Medical Objects Classification 73-84
  Przemyslaw W. Pardel, Jan G. Bazan, Jacek Zarychta, Stanislawa Bazan-Socha
- An Afficient Equivalence-Checking Algorithm for a Model of Programs with Commutative and Absorptive Statements 85-96
  Vladislav Podymov
- Betweenness, Lukasiewicz Rough Inclusions, Euclidean Representations in Information Systems, Hyper-granules, Conflict Resolution 97-110
  Lech T. Polkowski
- Fuzzy Systems of Logical Inference and Their Applications 111-119
  Oleksandr Provotar
- Enhanced Error Correction Algorithm for RBF Neural Networks 120-129
  Pawel Rozycki, Janusz Kolbusz
- The Minimization Method of Boolean Functions in Polynomial Set-theoretical Format 130-146
  Bohdan Rytsar
- The Handling of Missing Values in Medical Domains with Respect to Pattern Mining Algorithms 147-154
  Danilo Schmidt, Matthias Niemann, Gabriela Lindemann-von Trzebiatowski
- Petri Net Models of Simple Rule-Based Systems for Programming Physarum Machines 155-160
  Andrew Schumann, Krzysztof Pancerz
- Rough Sets Inspired Extension of Forward Inference Algorithm 161-172
  Roman Siminski, Alicja Wakulicz-Deja
- Hybrid Planning by Combining SMT and Simulated Annealing 173-176
  Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek
- Optimization of Backward Fuzzy Reasoning Based on Rule Knowledge 177-186
  Zbigniew Suraj, Piotr Grochowalski, Sibasis Bandyopadhyay
- Inverted Fuzzy Implications in Backward Reasoning Without Yager Implication 187-195
  Zbigniew Suraj, Agnieszka Lasek
- SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata 196-206
  Bozena Wozna-Szczesniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny
- Reduct Calculation and Discretization of Numeric Attributes in Sparse Decision Systems 207-210
  Wojciech Swieboda, Hung Son Nguyen
- Exploiters-Based Knowledge Extraction in Object-Oriented Knowledge Representation 211-221
  Dmytro Terletskyi
- Space-Time Viewpoints for Concurrent Processes Represented by Relational Structures 222-233
  Irina Virbitskaite, Elena Bozhenkova, Evgeny Erofeev
- From Free Will Debate to Embodiment of Fuzzy Logic into Washing Machines: On Fuzzy and Rough Sets Approaches to Vagueness Modeling 234-236
  Piotr Wasilewski
- Global Optimization of Exact Association Rules Relative to Length 237-247
  Beata Zielosko

- Author Index

2015-10-28: submitted by Zbigniew Suraj, metadata incl. bibliographic data published under Creative Commons CC0
2015-10-28: published on CEUR-WS.org |valid HTML5|