Automated prover for attribute dependencies in data with grades

uncategorised

Authors

Radim Belohlávek

Pablo Cordero

Manuel Enciso

Ángel Mora

Vilém Vychodil

Published

1 January 2016

Publication details

Int. J. Approx. Reason. vol. 70 , pages 51–67.

Links

Abstract

Citation

Please, cite this work as:

[Bel+16] R. Belohlávek, P. Cordero, M. Enciso, et al. “Automated prover for attribute dependencies in data with grades”. In: Int. J. Approx. Reason. 70 (2016), pp. 51-67. DOI: 10.1016/J.IJAR.2015.12.007. URL: https://doi.org/10.1016/j.ijar.2015.12.007.

BibTeX

@Article{Belohlavek2016,
     author = {Radim Belohl{’a}vek and Pablo Cordero and Manuel Enciso and {’A}ngel Mora and Vil{’e}m Vychodil},
     journal = {Int. J. Approx. Reason.},
     title = {Automated prover for attribute dependencies in data with grades},
     year = {2016},
     pages = {51–67},
     volume = {70},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/ijar/BelohlavekCEMV16.bib},
     doi = {10.1016/J.IJAR.2015.12.007},
     timestamp = {Fri, 23 Sep 2022 01:00:00 +0200},
     url = {https://doi.org/10.1016/j.ijar.2015.12.007},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

Citations
CrossRef - Citation Indexes: 22
Scopus - Citation Indexes: 30

Captures
Mendeley - Readers: 13

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] M. D. Akbar and Y. Mizoguchi. “Fuzzy Implication and Functional Dependency on Formal Context”. In: Jurnal Matematika Integratif 15.2 (Oct. 2019), p. 69. ISSN: 1412-6184. DOI: 10.24198/jmi.v15i2.21693. URL: http://dx.doi.org/10.24198/jmi.v15i2.21693.

[2] M. D. Akbar and Y. Mizoguchi. “Fuzzy Implication and Functional Dependency on Formal Context”. In: Jurnal Matematika Integratif 15.2 (Feb. 2020), p. 69. ISSN: 1412-6184. DOI: 10.24198/jmi.v15.n2.21693.69. URL: http://dx.doi.org/10.24198/jmi.v15.n2.21693.69.

[3] Ľ. Antoni, P. Eliaš, J. Guniš, et al. “Bimorphisms and attribute implications in heterogeneous formal contexts”. In: International Journal of Approximate Reasoning 172 (Sep. 2024), p. 109245. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2024.109245. URL: http://dx.doi.org/10.1016/j.ijar.2024.109245.

[4] R. G. Aragón, J. Medina, and E. Ramírez-Poussa. “Identifying Non-Sublattice Equivalence Classes Induced by an Attribute Reduction in FCA”. In: Mathematics 9.5 (Mar. 2021), p. 565. ISSN: 2227-7390. DOI: 10.3390/math9050565. URL: http://dx.doi.org/10.3390/math9050565.

[5] R. G. Aragón, J. Medina, and E. Ramírez-Poussa. “Impact of Local Congruences in Attribute Reduction”. In: Information Processing and Management of Uncertainty in Knowledge-Based Systems. Springer International Publishing, 2020, p. 748–758. ISBN: 9783030501532. DOI: 10.1007/978-3-030-50153-2_55. URL: http://dx.doi.org/10.1007/978-3-030-50153-2_55.

[6] R. Belohlavek and V. Vychodil. “Relational similarity-based model of data part 2: dependencies in data”. In: International Journal of General Systems 47.1 (Aug. 2017), p. 1–50. ISSN: 1563-5104. DOI: 10.1080/03081079.2017.1357551. URL: http://dx.doi.org/10.1080/03081079.2017.1357551.

[7] M. J. Benítez-Caballero, J. Medina, E. Ramírez-Poussa, et al. “A computational procedure for variable selection preserving different initial conditions”. In: International Journal of Computer Mathematics 97.1–2 (May. 2019), p. 387–404. ISSN: 1029-0265. DOI: 10.1080/00207160.2019.1613530. URL: http://dx.doi.org/10.1080/00207160.2019.1613530.

[8] M. J. Benítez-Caballero, J. Medina, E. Ramírez-Poussa, et al. “Bireducts with tolerance relations”. In: Information Sciences 435 (Apr. 2018), p. 26–39. ISSN: 0020-0255. DOI: 10.1016/j.ins.2017.12.037. URL: http://dx.doi.org/10.1016/j.ins.2017.12.037.

[9] M. J. Benítez-Caballero, J. Medina, E. Ramírez-Poussa, et al. “Rough-set-driven approach for attribute reduction in fuzzy formal concept analysis”. In: Fuzzy Sets and Systems 391 (Jul. 2020), p. 117–138. ISSN: 0165-0114. DOI: 10.1016/j.fss.2019.11.009. URL: http://dx.doi.org/10.1016/j.fss.2019.11.009.

[10] P. Cordero, M. Enciso, D. López-Rodríguez, et al. “fcaR, Formal Concept Analysis with R”. In: The R Journal 14.1 (Jun. 2022), p. 341–361. ISSN: 2073-4859. DOI: 10.32614/rj-2022-014. URL: http://dx.doi.org/10.32614/rj-2022-014.

[11] P. Cordero, M. Enciso, D. López, et al. “A conversational recommender system for diagnosis using fuzzy rules”. In: Expert Systems with Applications 154 (Sep. 2020), p. 113449. ISSN: 0957-4174. DOI: 10.1016/j.eswa.2020.113449. URL: http://dx.doi.org/10.1016/j.eswa.2020.113449.

[12] P. Cordero, M. Enciso, Á. Mora, et al. “Attribute implications with unknown information based on weak Heyting algebras”. In: Fuzzy Sets and Systems 490 (Aug. 2024), p. 109026. ISSN: 0165-0114. DOI: 10.1016/j.fss.2024.109026. URL: http://dx.doi.org/10.1016/j.fss.2024.109026.

[13] P. Cordero, M. Enciso, A. Mora, et al. “Parameterized simplification logic I: reasoning with implications and classes of closure operators”. In: International Journal of General Systems 49.7 (Oct. 2020), p. 724–746. ISSN: 1563-5104. DOI: 10.1080/03081079.2020.1831484. URL: http://dx.doi.org/10.1080/03081079.2020.1831484.

[14] P. Cordero, M. Enciso, A. Mora, et al. “Parameterized Simplification Logic: Reasoning With Implications in an Automated Way”. In: IEEE Transactions on Fuzzy Systems 30.12 (Dec. 2022), p. 5534–5543. ISSN: 1941-0034. DOI: 10.1109/tfuzz.2022.3179847. URL: http://dx.doi.org/10.1109/tfuzz.2022.3179847.

[15] J. Guniš, L. Šnajder, L. Antoni, et al. “Formal Concept Analysis of Students’ Solutions on Computational Thinking Game”. In: IEEE Transactions on Education 68.1 (Feb. 2025), p. 20–32. ISSN: 1557-9638. DOI: 10.1109/te.2024.3442612. URL: http://dx.doi.org/10.1109/te.2024.3442612.

[16] L. Ježková, P. Cordero, and M. Enciso. “Fuzzy functional dependencies: A comparative survey”. In: Fuzzy Sets and Systems 317 (Jun. 2017), p. 88–120. ISSN: 0165-0114. DOI: 10.1016/j.fss.2016.06.019. URL: http://dx.doi.org/10.1016/j.fss.2016.06.019.

[17] V. Liñeiro-Barea, J. Medina, and I. Medina-Bulo. “Generating Fuzzy Attribute Rules Via Fuzzy Formal Concept Analysis”. In: Interactions Between Computational Intelligence and Mathematics. Springer International Publishing, 2018, p. 105–119. ISBN: 9783319746814. DOI: 10.1007/978-3-319-74681-4_7. URL: http://dx.doi.org/10.1007/978-3-319-74681-4_7.

[18] D. López-Rodríguez, E. Muñoz-Velasco, and M. Ojeda-Aciego. “Formal Methods in FCA and Big Data”. In: Complex Data Analytics with Formal Concept Analysis. Springer International Publishing, Dec. 2021, p. 201–224. ISBN: 9783030932787. DOI: 10.1007/978-3-030-93278-7_9. URL: http://dx.doi.org/10.1007/978-3-030-93278-7_9.

[19] J. Medina, P. Navareño, and E. Ramírez-Poussa. “Knowledge Implications in Multi-adjoint Concept Lattices”. In: Computational Intelligence and Mathematics for Tackling Complex Problems 2. Springer International Publishing, 2022, p. 155–161. ISBN: 9783030888176. DOI: 10.1007/978-3-030-88817-6_18. URL: http://dx.doi.org/10.1007/978-3-030-88817-6_18.

[20] F. Pérez-Gámez and C. Bejines. “An exploration of weak Heyting algebras: Characterization and properties”. In: International Journal of Approximate Reasoning 179 (Apr. 2025), p. 109365. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2025.109365. URL: http://dx.doi.org/10.1016/j.ijar.2025.109365.

[21] F. Pérez-Gámez, P. Cordero, M. Enciso, et al. “Simplification logic for the management of unknown information”. In: Information Sciences 634 (Jul. 2023), p. 505–519. ISSN: 0020-0255. DOI: 10.1016/j.ins.2023.03.015. URL: http://dx.doi.org/10.1016/j.ins.2023.03.015.

[22] P. Sokol, Ľ. Antoni, O. Krídlo, et al. “Formal concept analysis approach to understand digital evidence relationships”. In: International Journal of Approximate Reasoning 159 (Aug. 2023), p. 108940. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2023.108940. URL: http://dx.doi.org/10.1016/j.ijar.2023.108940.

[23] K. Triebner, A. Johannessen, C. Svanes, et al. “Describing the status of reproductive ageing simply and precisely: A reproductive ageing score based on three questions and validated with hormone levels”. In: PLOS ONE 15.6 (Jun. 2020). Ed. by K. Tsaneva-Atanasova, p. e0235478. ISSN: 1932-6203. DOI: 10.1371/journal.pone.0235478. URL: http://dx.doi.org/10.1371/journal.pone.0235478.

[24] V. Vychodil. “Closure structures parameterized by systems of isotone Galois connections”. In: International Journal of Approximate Reasoning 91 (Dec. 2017), p. 1–21. ISSN: 0888-613X. DOI: 10.1016/j.ijar.2017.08.013. URL: http://dx.doi.org/10.1016/j.ijar.2017.08.013.