VLDB 2026 Research / reviewers in the wild / expert
Petra Murinová
dblp:36/3358
· DBLP profile ↗
30ranked-venue papers
16as first author
16since 2021 · last 2026
0009-0000-4204-3955ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 29 · 15 first-author · 16 since 2021Databases, data management, data science and information retrieval · 11 · 5 first-author · 4 since 2021Theory of computation · 2 · 1 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Intermediate syllogisms and non-monotonic reasoningabstractIn this article, we will show how relations forming the graded Peterson's square of opposition (contrary, contradictory, sub-contrary and sub-alterns) are connected with intermediate logical syllogisms, i.e., syllogisms that contain intermediate quantifiers. Our results are related to the theory of non-monotonic reasoning. Vilém Novák, Petra Murinová |
Int. J. Approx. Reason. | 2 |
| 2025 | Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition
Karel Fiala, Petra Murinová |
EUSFLAT (1) | 2 |
| 2025 | Verification of Validity of Logical Syllogisms Generated by Cube of Opposition Using Extended Peterson's Rules
Petra Murinová, Vilém Novák |
EUSFLAT (1) | 1 |
| 2025 | Linguistic Interpretation of Natural Data Using Intermediate Quantifiers Relate to Graded Cube of Opposition
Petra Murinová, Karel Fiala |
IJCCI (1) | 1 |
| 2025 | Aristotle's square for mining fuzzy concepts
Stefania Boffa, Petra Murinová |
Fuzzy Sets Syst. | 2 |
| 2025 | Graded hexagon of opposition in fuzzy natural logic with new intermediate quantifiersabstractIn this article, we will form a graded hexagon of opposition as an extension of the graded Peterson's square, incorporating new variations of intermediate quantifiers. We will start with the classical Aristotle's square of opposition and its extension to hexagon. Then we introduce the graded square of opposition that was suggested by Peterson and fully formalized by the authors. We also introduce quantifiers A few ( A little ) and Several and include them in the latter. Then we introduce new forms of quantifiers and study relations of contrary, sub-contrary, contradictory and sub-(sup-)altern among them. On the basis of the knowledge of the relations among all the intermediate quantifiers we construct the graded Peterson's hexagon of opposition. Petra Murinová, Karel Fiala, Stefania Boffa, Vilém Novák |
Int. J. Approx. Reason. | 1 |
| 2024 | Logical syllogisms with "Almost all, Most, Many, A few" and "Several"abstractThis paper delves into logical syllogisms featuring intermediate quantifiers. In our previous works, we established the validity of logical syllogisms involving fundamental intermediate quantifiers “Almost all”, “Most”, and “Many”. In this paper, we focus on syllogisms incorporating also the quantifiers “Several” and “A few (A little)”. Petra Murinová, Vilém Novák |
Int. J. Approx. Reason. | 1 |
| 2023 | Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules
Vilém Novák, Petra Murinová |
Int. J. Approx. Reason. | 2 |
| 2022 | Comparing Hexagons of Opposition in Probabilistic Rough Set Theory
Stefania Boffa, Davide Ciucci, Petra Murinová |
IPMU (1) | 3 |
| 2022 | Modelling of Fuzzy Peterson's Syllogisms Related to Graded Peterson's Cube of Opposition
Karel Fiala, Petra Murinová |
IPMU (1) | 2 |
| 2022 | On Modeling of Fuzzy Peterson's Syllogisms Using Peterson's Rules
Petra Murinová, Vilém Novák |
IPMU (1) | 1 |
| 2022 | Analysis of Peterson's Rules for Syllogisms with Intermediate Quantifiers
Vilém Novák, Petra Murinová |
IPMU (1) | 2 |
| 2022 | Graded cubes of opposition in fuzzy formal concept analysisabstractWe recently introduced special fuzzy quantifiers named quantifier-based operators to form extended fuzzy concept lattices and to construct graded squares, hexagons, octagons and decagons of oppositions. This article aims to extend our previous works by organizing quantifier-based operators in more general structures of oppositions: the so-called graded cubes of opposition and 5-graded cubes of opposition. Stefania Boffa, Petra Murinová, Vilém Novák, Petr Ferbas |
Int. J. Approx. Reason. | 2 |
| 2022 | Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
Vilém Novák, Petra Murinová, Petr Ferbas |
Int. J. Approx. Reason. | 2 |
| 2021 | Graded polygons of opposition in fuzzy formal concept analysis
Stefania Boffa, Petra Murinová, Vilém Novák |
Int. J. Approx. Reason. | 2 |
| 2021 | A proposal to extend Relational Concept Analysis with fuzzy scaling quantifiers
Stefania Boffa, Petra Murinová, Vilém Novák |
Knowl. Based Syst. | 2 |
| 2020 | Graded Decagon of Opposition with Fuzzy Quantifier-Based Concept-Forming Operators
Stefania Boffa, Petra Murinová, Vilém Novák |
IPMU (3) | 2 |
| 2020 | Graded Cube of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic
Petra Murinová, Vilém Novák |
IPMU (3) | 1 |
| 2020 | On the Properties of Intermediate Quantifiers and the Quantifier "MORE-THAN"
Vilém Novák, Petra Murinová, Stefania Boffa |
IPMU (3) | 2 |
| 2020 | The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of "Many"
Petra Murinová, Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2019 | Generalized Intermediate Syllogisms with More PremisesabstractIn real world, interpretation of natural data using a natural language is very popular. In our previous papers, we introduced mathematical definitions of intermediate quantifiers, which were used for an analysis of natural data using fuzzy association rules. The main objective of this paper is to show how we can apply the theory of syllogistic reasoning for a derivation of new information which is not included in data. An idea of this paper is to use generalized structure of syllogisms with more premises. Petra Murinová |
FUZZ-IEEE | 1 |
| 2018 | Fuzzy Association Rules on Data with Undefined Values
Petra Murinová, Viktor Pavliska, Michal Burda |
IPMU (3) | 1 |
| 2018 | Association Analysis on Interval-Valued Fuzzy Sets
Petra Murinová, Viktor Pavliska, Michal Burda |
MDAI | 1 |
| 2016 | Graded Generalized Hexagon in Fuzzy Natural Logic
Petra Murinová, Vilém Novák |
IPMU (2) | 1 |
| 2015 | Note to semantical interpretation of non-trivial syllogisms with intermediate quantifiersabstractThis paper is a contribution to the study of a special kind of syllogisms with intermediate quantifiers. We stem from our previous papers where a formal theory of the intermediate quantifiers was introduced. Besides other results, we syntactically proved validity of 105 basic syllogisms with them. We also demonstrated how our theory works in the semantic interpretation. In this paper, we will address some special kinds of syllogisms that are non-trivial in the sense that both premises as well as conclusion contain general intermediate quantifiers. Petra Murinová, Vilém Novák |
FUZZ-IEEE | 1 |
| 2014 | On General Properties of Intermediate Quantifiers
Vilém Novák, Petra Murinová |
IPMU (2) | 2 |
| 2014 | Analysis of generalized square of opposition with intermediate quantifiers
Petra Murinová, Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2014 | The structure of generalized intermediate syllogisms
Petra Murinová, Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2013 | Semantic Interpretation of Intermediate Quantifiers and Their Syllogisms
Petra Murinová, Vilém Novák |
FQAS | 1 |
| 2012 | A formal theory of generalized intermediate syllogisms
Petra Murinová, Vilém Novák |
Fuzzy Sets Syst. | 1 |