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 |
Since April 2015, I am a member of the KRDB Research Centre at the Free University of Bozen-Bolzano. Visit my new webpage
On September 2015, I defended my German Habilitation. My cumulative thesis is now available.
Scientific Interests
- 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
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
Invited Talks
- Fuzzy Logic: A Primer at the Chair of Polymeric Microsystems of TU Dresden
- Automata-based Reasoning in Fuzzy Description Logics at the 35th Linz Seminar on Fuzzy Set Theory
- Finding the Culprits - A True Mystery Tale at the Seminar on Non-classical Logics from the University of Barcelona
- Fuzzy DL Nation at the QuantLA Research Seminar from TU Dresden
Organization
- PC member of WoDOOM 2015
- Doctoral Consortium Chair of KI 2015
- PC member of ARCOE 2014
- PC member of SUM 2014
- PC member of KESW 2014
- PC member of DL 2014
- PC member of WoDOOM 2014
- PC member of ESWC 2014
- PC chair of PRUV 2014
- PC member of KR 2014
- PC member of ARCOE 2013
- PC member of URSW 2013
- PC member of KESW 2013
- PC member of CAEPIA 2013
- Senior PC member of AAAI 2013
- PC member of DL 2013
- PC member of WoDOOM13
Reviewing
I have reviewed papers for several workshops, conferences, and the following journals:
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 (ws'14/15)
- lecture Term Rewriting Systems (ss'14)
- lecture Description Logics (ws'13/14)
- lecture Automata and Logic (ss'13)
- seminar Sets for Vague Concepts (ws'12/13)
- 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)