Adam Grabowski

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 46

Top Topics

Rough Set Theory

Distributive Lattices

Top Venues

Formaliz. Math.

Fundam. Informaticae

Publications

Hesham Mostafa, Adam Grabowski, Md Asadullah Turja, Juan Cerviño, Alejandro Ribeiro, Nageen Himayat
FastSample: Accelerating Distributed Graph Neural Network Training for Billion-Scale Graphs. CoRR (2023)
Adam Grabowski, Artur Kornilowicz
Implementing More Explicit Definitional Expansions in Mizar (Short Paper). ITP (2023)
Adam Grabowski
Computer-Supported Encoding of Fuzzy Negations and Laws of Contraposition. FUZZ (2023)
Adam Grabowski
Elementary Number Theory Problems. Part VI. Formaliz. Math. 30 (3) (2022)
Adam Grabowski
Fuzzy Implications in the Mizar System. FUZZ-IEEE (2021)
Wojciech Kusmierowski, Adam Grabowski
Automatization of Ternary Boolean Algebras. Formaliz. Math. 29 (4) (2021)
Damian Sawicki, Adam Grabowski
On Weakly Associative Lattices and Near Lattices. Formaliz. Math. 29 (2) (2021)
Adam Grabowski
Automated Comparative Study of Some Generalized Rough Approximations. Fundam. Informaticae 179 (2) (2021)
Adam Grabowski
Developing Complementary Rough Inclusion Functions. Formaliz. Math. 28 (1) (2020)
Adam Grabowski
On Fuzzy Negations Generated by Fuzzy Implications. Formaliz. Math. 28 (1) (2020)
Dominik Kulesza, Adam Grabowski
Formalization of Quasilattices. Formaliz. Math. 28 (2) (2020)
Roland Coghetto, Adam Grabowski
Tarski Geometry Axioms. Part IV - Right Angle. Formaliz. Math. 27 (1) (2019)
Adam Grabowski
RIFs as the Formal Tool of Measuring Similarity between Sets (short paper). CS&P (2019)
Adam Grabowski
Constructing Examples of Fuzzy Implications within the Mizar Mathematical Library. CICM Workshops (2019)
Adam Grabowski
Building a Framework of Rough Inclusion Functions by Means of Computerized Proof Assistant. IJCRS (2019)
Adam Grabowski
Formal Development of Rough Inclusion Functions. Formaliz. Math. 27 (4) (2019)
Adam Grabowski, Damian Sawicki
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander. Formaliz. Math. 26 (2) (2018)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. J. Autom. Reason. 61 (1-4) (2018)
Adam Grabowski, Michal Sielwiesiuk
Formalizing Two Generalized Approximation Operators. Formaliz. Math. 26 (2) (2018)
Adam Grabowski
Automated Comparative Study of Some Generalized Rough Approximations. CS&P (2018)
Adam Grabowski
Fundamental Properties of Fuzzy Implications. Formaliz. Math. 26 (4) (2018)
Adam Grabowski
Sequences of Prime Reciprocals. Preliminaries. Formaliz. Math. 26 (1) (2018)
Adam Grabowski
Basic Formal Properties of Triangular Norms and Conorms. Formaliz. Math. 25 (2) (2017)
Adam Grabowski
Expressing the Notion of a Mathematical Structure in the Formal Language of Mizar. ICMMI (2017)
Adam Grabowski
Formal Introduction to Fuzzy Implications. Formaliz. Math. 25 (3) (2017)
Roland Coghetto, Adam Grabowski
Tarski Geometry Axioms. Part III. Formaliz. Math. 25 (4) (2017)
Adam Grabowski, Roland Coghetto
Topological structures as a tool for formal modelling of rough sets. FedCSIS (Position Papers) (2017)
Adam Grabowski
Computer Certification of Generalized Rough Sets Based on Relations. IJCRS (1) (2017)
Adam Grabowski, Takashi Mitsuishi
Extending Formal Fuzzy Sets with Triangular Norms and Conorms. EUSFLAT/IWIFSGN (2) (2017)
Adam Grabowski, Artur Kornilowicz
Introduction to Liouville Numbers. Formaliz. Math. 25 (1) (2017)
Artur Kornilowicz, Adam Naumowicz, Adam Grabowski
All Liouville Numbers are Transcendental. Formaliz. Math. 25 (1) (2017)
Adam Grabowski, Roland Coghetto
Tarski's Geometry and the Euclidean Plane in Mizar. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Adam Grabowski
Binary Relations-based Rough Sets - an Automated Approach. Formaliz. Math. 24 (2) (2016)
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
On algebraic hierarchies in mathematical repository of Mizar. FedCSIS (2016)
Adam Grabowski
Tarski's geometry modelled in Mizar computerized proof assistant. FedCSIS (2016)
Roland Coghetto, Adam Grabowski
Tarski Geometry Axioms - Part II. Formaliz. Math. 24 (2) (2016)
Adam Grabowski
Lattice Theory for Rough Sets - A Case Study with Mizar. Fundam. Informaticae 147 (2-3) (2016)
Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller
Equality in computer proof-assistants. FedCSIS (2015)
Adam Grabowski, Takashi Mitsuishi
Initial Comparison of Formal Approaches to Fuzzy and Rough Sets. ICAISC (1) (2015)
Adam Grabowski, Takashi Mitsuishi
Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets. RSKT (2015)
Adam Grabowski
Two Axiomatizations of Nelson Algebras. Formaliz. Math. 23 (2) (2015)
Adam Grabowski
Lattice Theory for Rough Sets - An Experiment in Mizar. CS&P (2015)
Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak, Josef Urban
Mizar: State-of-the-art and Beyond. CICM (2015)
Adam Grabowski
Mechanizing Complemented Lattices Within Mizar Type System. J. Autom. Reason. 55 (3) (2015)
Adam Grabowski
Stone Lattices. Formaliz. Math. 23 (4) (2015)
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
Four Decades of Mizar - Foreword. J. Autom. Reason. 55 (3) (2015)
Adam Grabowski
The Formal Construction of Fuzzy Numbers. Formaliz. Math. 22 (4) (2014)
Adam Grabowski, Yasunari Shidama
Preface. Formaliz. Math. 22 (2) (2014)
Adam Grabowski
Cauchy Mean Theorem. Formaliz. Math. 22 (2) (2014)
Adam Grabowski
Efficient Rough Set Theory Merging. Fundam. Informaticae 135 (4) (2014)
Adam Grabowski
Topological Interpretation of Rough Sets. Formaliz. Math. 22 (1) (2014)
William Richter, Adam Grabowski, Jesse Alama
Tarski Geometry Axioms. Formaliz. Math. 22 (2) (2014)
Kazuhisa Ishida, Yasunari Shidama, Adam Grabowski
Definition of Flat Poset and Existence Theorems for Recursive Call. Formaliz. Math. 22 (1) (2014)
Adam Grabowski
Formalization of Generalized Almost Distributive Lattices. Formaliz. Math. 22 (3) (2014)
Adam Grabowski
Relational Formal Characterization of Rough Sets. Formaliz. Math. 21 (1) (2013)
Adam Grabowski
Prime Filters and Ideals in Distributive Lattices. Formaliz. Math. 21 (3) (2013)
Adam Grabowski
Polygonal Numbers. Formaliz. Math. 21 (2) (2013)
Adam Grabowski
Efficient Rough Set Theory Merging. CS&P (2013)
Eliza Niewiadomska, Adam Grabowski
Introduction to Formal Preference Spaces. Formaliz. Math. 21 (3) (2013)
Adam Grabowski
Automated Discovery of Properties of Rough Sets. Fundam. Informaticae 128 (1-2) (2013)
Adam Grabowski
On the computer certification of fuzzy numbers. FedCSIS (2013)
Adam Grabowski
On Square-Free Numbers. Formaliz. Math. 21 (2) (2013)
Adam Grabowski, Christoph Schwarzweller
Towards Automatically Categorizing Mathematical Knowledge. FedCSIS (2012)
Adam Grabowski
Computer-Driven Searching for Axiomatization of Rough Sets. CS&P (2012)
Adam Grabowski, Artur Kornilowicz, Adam Naumowicz
Mizar in a Nutshell. J. Formaliz. Reason. 3 (2) (2010)
Adam Grabowski, Magdalena Jastrzebska
A Note on a Formal Approach to Rough Operators. RSCTC (2010)
Adam Grabowski, Christoph Schwarzweller
On Duplication in Mathematical Repositories. AISC/MKM/Calculemus (2010)
Adam Grabowski, Christoph Schwarzweller
On Duplication in Mathematical Repositories CoRR (2010)
Adam Grabowski, Magdalena Jastrzebska
On the Lattice of Intervals and Rough Sets. Formaliz. Math. 17 (1-4) (2009)
Elzbieta Madra, Adam Grabowski
Orthomodular Lattices. Formaliz. Math. 16 (1-4) (2008)
Adam Grabowski, Magdalena Jastrzebska
Rough Set Theory from a Math-Assistant Perspective. RSEISP (2007)
Adam Grabowski, Christoph Schwarzweller
Revisions as an Essential Tool to Maintain Mathematical Repositories. Calculemus/MKM (2007)
Adam Grabowski, Christoph Schwarzweller
Translating Mathematical Vernacular into Knowledge Repositories. MKM (2005)
Adam Grabowski
Solving Two Problems in General Topology Via Types. TYPES (2004)
Adam Grabowski
On the Computer-Assisted Reasoning about Rough Sets. MSRAS (2004)
Adam Grabowski, Christoph Schwarzweller
Rough Concept Analysis - Theory Development in the Mizar System. MKM (2004)
Adam Grabowski, Markus Moschner
Managing Heterogeneous Theories within a Mathematical Knowledge Repository. MKM (2004)
Adam Grabowski
Lattice of Substitutions. Reports Math. Log. 33 (1999)