Scholar
Julian Alfredo Mendez
Google Scholar ID: 3vFRuN8AAAAJ
Umeå University
description logics
knowledge representation
automated deduction
interactive theorem proving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
806
H-index
10
i10-index
10
Publications
20
Co-authors
3
list available
Publications
4 items
The AR Fairness Metamodel: A Structured Framework for Fairness Measures
2026
Cited
0
Safety, Liveness, and Fairness in Quantitative Argumentation Dialogues
2026
Cited
0
Specification, Application, and Operationalization of a Metamodel of Fairness
2025
Cited
0
Can Proof Assistants Verify Multi-Agent Systems?
2025
Cited
0
Co-authors
2 total
Franz Baader
Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig
Stefan Borgwardt
Theoretical Computer Science, TU Dresden
