Volume 165; Issue 3-4

Main
Fundamenta Informaticae
Volume 165; Issue 3-4

Fundamenta Informaticae

Volume 165; Issue 3-4

1

From Data to Pattern Structures: Near Set Approach*

Wolski, Marcin, Gomolińska, Anna, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 254 KB

english, 2019

2

Semantics and Controllability of Time-Aware Business Processes*

De Angelis, Emanuele, Fioravanti, Fabio, Meo, Maria Chiara, Pettorossi, Alberto, Proietti, Maurizio, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 403 KB

english, 2019

3

From Data to Pattern Structures: Near Set Approach*

Wolski, Marcin, Gomolińska, Anna, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 254 KB

2019

4

Linking Reaction Systems with Rough Sets

Dutta, Soma, Jankowski, Andrzej, Rozenberg, Grzegorz, Skowron, Andrzej, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 1.67 MB

english, 2019

5

What Are Justification Logics?

Fitting, Melvin, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 219 KB

english, 2019

6

Applying Modern SAT-solvers to Solving Hard Problems

Niewiadomski, Artur, Switalski, Piotr, Sidoruk, Teofil, Penczek, Wojciech, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 1.88 MB

english, 2019

7

Towards Encoding of the Transition Relation in Dialogue Games Model Checking

Sawicka, Anna, Kacprzak, Magdalena, Zbrzezny, Andrzej, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 166 KB

english, 2019

8

Linking Reaction Systems with Rough Sets

Dutta, Soma, Jankowski, Andrzej, Rozenberg, Grzegorz, Skowron, Andrzej, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 1.67 MB

2019

9

Studying Opacity of Reaction Systems through Formula Based Predictors*

Gori, Roberta, Gruska, Damas, Milazzo, Paolo, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 271 KB

english, 2019

10

Experimental Study of Totally Optimal Decision Trees

Aldilaijan, Abdulla, Azad, Mohammad, Moshkov, Mikhail, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 321 KB

english, 2019

11

Preface

Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 53 KB

2019