Follow
Maximilian Pensel
Maximilian Pensel
Unknown affiliation
Verified email at tu-dresden.de - Homepage
Title
Cited by
Cited by
Year
Reasoning in the defeasible description logic—computing standard inferences under rational and relevant semantics
M Pensel, AY Turhan
International Journal of Approximate Reasoning 103, 28-70, 2018
422018
Including quantification in defeasible reasoning for the description logic
M Pensel, AY Turhan
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
222017
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
F Baader, OF Gil, M Pensel
GCAI, 1-14, 2018
102018
An automata based approach for subsumption wrt general concept inclusions in the description logic FL0
M Pensel
Master's thesis. Chair for Automata Theory, TU Dresden, Germany. See http …, 2015
92015
Making quantification relevant again—the case of defeasible EL⊥
M Pensel, AY Turhan
82017
The Data Complexity of Answering Instance Queries in FL0
F Baader, P Marantidis, M Pensel
Companion Proceedings of the The Web Conference 2018, 1603-1607, 2018
72018
Elastiq: Answering Similarity-threshold Instance Queries in EL.
A Ecke, M Pensel, AY Turhan
Description Logics 2015, 112, 2015
72015
A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond
M Pensel
KI-Künstliche Intelligenz 34 (4), 527-531, 2020
52020
A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and Beyond
M Pensel
Dissertation, Dresden, Technische Universität Dresden, 2019, 2019
12019
Schlussfolgern in Defeasible Beschreibungslogiken
M Pensel
Ausgezeichnete Informatikdissertationen 2019, 2020
2020
Congenial Benchmarking of RDF Storage Solutions
AC Ngonga Ngomo, F Conrads, M Pensel, AY Turhan
Proceedings of the 10th International Conference on Knowledge Capture, 213-221, 2019
2019
Computing Standard Inferences under Rational and Relevant Semantics in defeasible EL⊥
M Pensel, AY Turhan
2018
Including Quantification in Defeasible Reasoning for the Description Logic
M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–13