Julian Alfredo Mendez
Scholar

Julian Alfredo Mendez

Google Scholar ID: 3vFRuN8AAAAJ
Umeå University
description logicsknowledge representationautomated deductioninteractive theorem proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
806
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
3
list available
Contact
No contact links provided.
Publications
3 items
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
Resume (English only)
Co-authors
3 total
Franz Baader
Franz Baader
Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig
Co-author 2
Co-author 2
Stefan Borgwardt
Stefan Borgwardt
Theoretical Computer Science, TU Dresden