Julian Alfredo Mendez
Scholar

Julian Alfredo Mendez

Google Scholar ID: 3vFRuN8AAAAJ
Umeå University
description logicsknowledge representationautomated deductioninteractive theorem proving
Citations & Impact
All-time
Citations
429
 
H-index
7
 
i10-index
5
 
Publications
20
 
Co-authors
3
list available
Resume (English only)
Academic Achievements
  • Mendez, J. A., & Kampik, T. (2025). Can Proof Assistants Verify Multi-agent Systems? In Multi-Agent Systems. EUMAS 2024. Lecture Notes in Computer Science, vol 15685. Springer.
  • Mendez, J. A., Kampik, T., Aler Tubella, A., & Dignum, V. (2024). A Clearer View on Fairness: Visual and Formal Representation for Comparative Analysis. In 14th Scandinavian Conference on Artificial Intelligence (SCAI 2024), pp. 112–120.
  • Aler Tubella, A., et al. (2023). ACROCPoLis: A Descriptive Framework for Making Sense of Fairness. In FAccT ‘23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, pp. 1014–1025.
  • Aler Tubella, A., Barsotti, F., Koçer, R. G., & Mendez, J. A. (2022). Ethical implications of fairness interventions: what might be hidden behind engineering choices? Ethics and Information Technology, 24(1), article 12.
  • Ceylan, İ. İ., Mendez, J., & Peñaloza, R. (2015). The Bayesian Ontology reasoner is BORN! In Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE 2015), pp. 8–14.
  • Erxleben, F., Günther, M., Krötzsch, M., Mendez, J., & Vrandečić, D. (2014). Introducing Wikidata to the Linked Data Web. In Proceedings of the 13th International Semantic Web Conference.
  • Hähnel, M., Mendez, J., Thost, V., & Turhan, A.-Y. (2014). Bridging the Application Knowledge Gap. In Workshop on Adaptive and Reflective Middleware’14.
  • Dargie, W., et al. (2013). Situation Recognition for Service Management Systems Using OWL 2 Reasoners. In Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013, pp. 31–36.
  • Goetz, S., Mendez, J., Thost, V., & Turhan, A.-Y. (2013). OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context. In Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013).
  • Götz, S., Schöne, R., Wilke, C., Mendez, J., & Aßmann, U. (2013). Towards Predictive Self-optimization by Situation Recognition. In 2nd Workshop EASED@ BUIS 2013.
  • Ma, Y., & Mendez, J. (2013). High Quality Data Generation: An Ontology Reasoning based Approach. In AIBD’13: The First International Workshop on Artificial Intelligence for Big Data.