Lech Polkowski
Research Subjects
Lech Polkowski has a total of 29 co-authors. Here are the top co-authors by number of shared publications:
- Andrzej Skowron
Systems Research Institute, Polish Academy of Sciences
24 shared publications - Piotr Artiemjew
University of Warmia and Mazury in Olsztyn
23 shared publications - Maria Semeniuk-Polkowska
Chair of Formal Linguistics, Warsaw University, Browarna 8/12, 00650 Warsaw, Poland.
6 shared publications - Bartosz Nowak
University of Warmia and Mazury
3 shared publications Maria Semeniuk-Polkowska
Chair of Formal Linguistics, Warsaw University, Dobra 55, 00312 Warszawa, Poland
3 shared publications- Adam Szmigielski
Polish-Japanese Institute of Information Technology
2 shared publications
Latest Publications
- Open Access
Machine Learning via rough mereology
Rough sets (RS)proved a thriving realm with successes inn many fields of ML and AI. In this note, we expand RS to RM - rough mereology which provides a measurable degree of uncertainty to those areas.
Open AccessMachine Learning via rough mereology
Rough sets (RS)proved a thriving realm with successes inn many fields of ML and AI. In this note, we expand RS to RM - rough mereology which provides a measurable degree of uncertainty to those areas.
- 4 October 2023
- Published by Springer Nature
- p. 281-332
Finitely and Infinitely Valued Logics
- 4 October 2023
- Published by Springer Nature
- p. 111-178
Rudiments of First-Order Logic (FO)
- 4 October 2023
- Published by Springer Nature
- p. 393-450
Beyond FO Within SO
- 4 October 2023
- Published by Springer Nature
- p. 333-391
Logics for Programs and Knowledge
- 4 October 2023
- Published by Springer Nature
- p. 179-229
Modal and Intuitionistic Logics
- 4 October 2023
- Published by Springer Nature
- p. 1-60
Introduction: Prerequisites
- 4 October 2023
- Published by Springer Nature
- p. 61-110
Sentential Logic (SL)
- 4 October 2023
- Published by Springer Nature
- p. 231-280
Temporal Logics for Linear and Branching Time and Model Checking
- 4 October 2023
- Published by Springer Nature
- p. 231-280
Temporal Logics for Linear and Branching Time and Model Checking
- 1 January 2022
- Published by Springer Nature
- p. 75-103
Propositional Modal Logic