Dennis Peuter
According to our database1,
Dennis Peuter
authored at least 10 papers
between 2018 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛<sup>+</sup>.
CoRR, 2023
On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics <i>E</i>ℒ, <i>E</i>ℒ<sup>+</sup>.
Proceedings of the Automated Deduction - CADE 29, 2023
2021
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory).
CoRR, 2021
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
On Testing Containedness Between Geometric Graph Classes using Second-order Quantifier Elimination and Hierarchical Reasoning (Short Paper).
Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021
Proceedings of the Frontiers of Combining Systems - 13th International Symposium, 2021
2020
Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+.
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
2019
Proceedings of the Automated Deduction - CADE 27, 2019
2018
Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018