VLDB 2026 Research / reviewers in the wild / expert
Miguel Andrés Marcos
dblp:207/4891
· DBLP profile ↗
5ranked-venue papers
0as first author
3since 2021 · last 2024
0009-0000-9764-4475ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 since 2021Theory of computation · 2 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Towards an Algebraic Theory of KD45-Like Logics
Line van den Berg, Manuela Busaniche, Miguel Andrés Marcos, George Metcalfe |
AiML | 3 |
| 2022 | Varieties of K-lattices
Paolo Aglianò, Miguel Andrés Marcos |
Fuzzy Sets Syst. | 2 |
| 2022 | Varieties of bounded K-lattices
Paolo Aglianò, Miguel Andrés Marcos |
Fuzzy Sets Syst. | 2 |
| 2019 | Representation by triples of algebras with an MV-retract
Manuela Busaniche, Miguel Andrés Marcos, Sara Ugolini |
Fuzzy Sets Syst. | 2 |
| 2017 | On the category of Nelson paraconsistent latticesabstractWe present an equivalence between the category of Nelson Paraconsistent lattices (NPc-lattices) and a category of pairs of Brouwerian algebras and regular filters. Specializing such category of pairs to Gödel hoops, we get the subvariety of Gödel NPc-lattices and, using the dual equivalence of finite Gödel hoops with finite trees, we obtain a duality for finite Gödel NPc-lattices. This duality is used to describe finitely generated free Gödel NPc-lattices. Stefano Aguzzoli, Manuela Busaniche, Brunella Gerla, Miguel Andrés Marcos |
J. Log. Comput. | 4 |