Concepedia

Ondrej Krídlo

OK

9

Publications

235

Citations

9

H-Index

2011

Active since

Affiliations

University of Pavol Jozef Šafárik(Current)

Universidad de Málaga

Ondrej Krídlo is an author at University of Pavol Jozef Šafárik specializing in engineering, automated reasoning, and fuzzy logic.

Top concepts

EngineeringAutomated ReasoningFuzzy LogicFormal MethodsSemanticsComputer ScienceLanguageLinguisticsDiscrete MathematicsSyntax

Publications per year

2011–2023

9

Publications

9

On heterogeneous formal contexts

Ľubomír Antoni, Stanislav Krajči, Ondrej Krídlo et al. · Fuzzy Sets and Systems · 2013 · 90 citations

Formal Semantics, Syntax, Engineering +8

The Category of L-Chu Correspondences and the Structure of L-Bonds

Ondrej Krídlo, Stanislav Krajči, Manuel Ojeda‐Aciego · Fundamenta Informaticae · 2012 · 33 citations

Engineering, Chemistry, Semantics +16

Formal concept analysis of higher order

Ondrej Krídlo, Stanislav Krajči, Ľubomír Antoni · International Journal of General Systems · 2016 · 23 citations

Formal Notation, Fuzzy Logic, Engineering +13

Constraint heterogeneous concept lattices and concept lattices with heterogeneous hedges

Ľubomír Antoni, Stanislav Krajči, Ondrej Krídlo · Fuzzy Sets and Systems · 2015 · 20 citations

Mathematical Programming, Engineering, Lattice (Order) +9

Representation of fuzzy subsets by Galois connections

Ľubomír Antoni, Stanislav Krajči, Ondrej Krídlo · Fuzzy Sets and Systems · 2017 · 17 citations

Fuzzy Subsets, Fuzzy Logic, Fuzzy Computing +2

Rows per page

1–5 of 9