Author Info
Name
Affiliation
Papers
DIRK WALTHER
Technical University of Madrid, Madrid, Spain
5
Collaborators
Citations 
PageRank 
4
0
1.69
Referers 
Referees 
References 
0
24
15
Title
Citations
PageRank
Year
Computing Minimal Projection Modules for ELHr -Terminologies.00.342019
Completeness by Modal Definitions.00.342018
Computing Minimal Subsumption Modules of Ontologies.00.342018
Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach.00.342016
An epistemic logic with hypotheses00.342011