- Fuzzy Description Logics
- Axiom-Pinpointing and its generalizations:
- weighted reasoning
- axiom dependencies
- applications like access control, trust management, preference, negotiation, fuzzy reasoning, etc
- Automata
- Complexity
- Probabilities and other measures
 |
Dr. rer. nat. Rafael Peñaloza Nyssen
TU Dresden - Department of Computer Science - Chair for Automata Theory |
|
Dr. rer. nat. Rafael Peñaloza Nyssen Room 3024, Nöthnitzer Str. 46 Tel.: +49 (0) 351 463 38 351 Fax: +49 (0) 351 463 37 959 email: 
|
Dresden University of Technology Department of Computer Science Institute for Theoretical Computer Science 01062, Dresden |
Scientific Interests
Research
Publications
- List of my publications
- List of publications of the Chair of automata theory (with download links)
Systems
- LBLR: a lattice-based labelled reasoner
Activities
Organization
- PC member of AIW 2012
- PC member of ARCOE 2012
- PC member of DL 2012
- PC co-chair of UniDL'12
- PC member of RR 2012
- PC member of ESWC 2012
- PC member of URSW 2011
- PC member of DL 2011
- PC member of IJCAI 2011
- PC co-chair for the First Workshop on Uncertainty in Description Logics (UniDL'10)
Reviewing
I have reviewed papers for several workshops and (among others):
Teaching
Since ss2009, I am in charge of organizing the Komplexpraktikum / CL project and the Masterspraktikum at our group. Additionally, I am (was) responsible for:
- lecture Introduction to Complexity Theory (ss'12)
- lecture Fuzzy Description Logics (ws'11/12)
- lecture Fuzzy Logic (ss'11)
- seminar Parameterized Complexity (ws'10/11)
- lecture Selected Topics in Automata and Logic (ss'10)
- tutorial for Automata and Logic (ws'09/10)
- tutorial for Description Logics (ss'09)