Maximilian Pensel
Maximilian Pensel
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei tu-dresden.de - Startseite
TitelZitiert vonJahr
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
152018
Including Quantification in Defeasible Reasoning for the Description Logic
M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
142017
Including Quantification in Defeasible Reasoning for the Description Logic
M Pensel, AY Turhan
International Conference on Logic Programming and Nonmonotonic Reasoning, 78-84, 2017
142017
Making quantification relevant again—the case of defeasible EL⊥
M Pensel, AY Turhan
Proceedings of the 4th International Workshop on Defeasible and Ampliative …, 2017
62017
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
62015
Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata.
F Baader, OF Gil, M Pensel
GCAI, 1-14, 2018
52018
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
42018
Elastiq: Answering Similarity-threshold Instance Queries in EL.
A Ecke, M Pensel, AY Turhan
Description Logics, 2015
32015
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
A Lightweight Defeasible Description Logic in Depth
M Pensel
KI-Künstliche Intelligenz, 1-5, 0
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11