Research output per year
Research output per year
Overview
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education
PhD, Ph.d. degree in science, Aarhus University
Award Date: 19 Mar 2003
Bachelor, Ingeniero de sistemas y computación, Universidad Javeriana
Award Date: 26 Apr 1996
Fingerprint
Dive into the research topics where Frank Darwin Valencia Posso is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
On the incompatibility of accuracy and equal opportunity
Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., May 2024, In: Machine Learning. 113, 5, p. 2405-2434 30 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
A FORMAL MODEL FOR POLARIZATION UNDER CONFIRMATION BIAS IN SOCIAL NETWORKS
Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2023, In: Logical Methods in Computer Science. 19, 1, p. 18:1-18:38Research output: Contribution to journal › Article › peer-review
Open Access -
On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints
Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., 30 Jun 2022, AAAI-22 Technical Tracks 7. Association for the Advancement of Artificial Intelligence, p. 7993-8000 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
4 Scopus citations -
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access4 Scopus citations -
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
Pinzón, C., Quintero, S., Ramírez, S. & Valencia, F., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 413-432 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access
Projects
- 8 Finished
-
FACTS : Foundational Approach to Cognition in Today’s Society.
Rueda Calderon, C., Ganascia, J. G., Rocha Niño, H. C., Sarria Montemiranda, G. M., Valencia Posso, F. D., Vazirgiannis, M., Medina Lopez, J. A., Palamidessi, C., Pazii, A., Ramírez Rico, S. S. & Romanelli, M.
25/06/19 → 25/10/22
Project: Research
-
Computation, Logic and Algebra of information for the Multispace Society
Valencia Posso, F. D., Rueda Calderon, C., Ganascia, J. G., Lopez Narvaez, J. S. & Ramírez Rico, S. S.
10/02/19 → 15/12/20
Project: Research
-
Stochastic Concurrency in Rewrite-Based Probabilistic Models (SCORES).
Rocha Niño, H. C., Rueda Calderon, C., Valencia Posso, F. D. & -326, A.
01/02/18 → 30/12/18
Project: Research
-
EPIC: Epistemic Interactive Concurrency
Rueda Calderon, C., Ferreira Alvim Junior, M. S., Gouvea Pimentel, E., Miller, D., Palamidessi, C., Valencia Posso, F. D., Cano, M., Guzman, M., Neto, J., Perchy, S., Ramirez, C., Ruiz, D., Silva, W. & Xavier, B.
01/09/17 → 01/09/19
Project: Research
-
Concurrency via rewriting approaches to epistemology (CREATE)
Rocha Niño, H. C., Rueda Calderon, C. & Valencia Posso, F. D.
09/01/17 → 19/12/17
Project: Research