|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Classifier Based on a Decision Tree with Temporal Cuts |
Bazan, Jan G. |
2019 |
165 | 3-4 |
p. 263-281 |
article |
|
| 2 | Applying Modern SAT-solvers to Solving Hard Problems |
Niewiadomski, Artur |
2019 |
165 | 3-4 |
p. 321-344 |
article |
|
| 3 | Experimental Study of Totally Optimal Decision Trees |
Aldilaijan, Abdulla |
2019 |
165 | 3-4 |
p. 245-261 |
article |
|
| 4 | From Data to Pattern Structures: Near Set Approach* |
Wolski, Marcin |
2019 |
165 | 3-4 |
p. 363-380 |
article |
|
| 5 | Linking Reaction Systems with Rough Sets |
Dutta, Soma |
2019 |
165 | 3-4 |
p. 283-302 |
article |
|
| 6 | Preface |
Penczek, Wojciech |
2019 |
165 | 3-4 |
p. i-iii |
article |
|
| 7 | Semantics and Controllability of Time-Aware Business Processes* |
De Angelis, Emanuele |
2019 |
165 | 3-4 |
p. 205-244 |
article |
|
| 8 | Studying Opacity of Reaction Systems through Formula Based Predictors* |
Gori, Roberta |
2019 |
165 | 3-4 |
p. 303-319 |
article |
|
| 9 | Towards Encoding of the Transition Relation in Dialogue Games Model Checking |
Sawicka, Anna |
2019 |
165 | 3-4 |
p. 345-361 |
article |
|
| 10 | What Are Justification Logics? |
Fitting, Melvin |
2019 |
165 | 3-4 |
p. 193-203 |
article |
10 results found