Modules/Courses I am studying in TUW
- Inference in Classical and Non-classical Logic
- Proof Theory
- Non-classical Logics
- Term Rewriting
- Non-monotonic Reasoning
- Project: Implementing DF-Converter in DLVHEX
- Master Thesis: Default Reasoning on Top of Ontologies with dl-Programs