Dennis Peuter

According to our database, Dennis Peuter authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Applications for Symbol Elimination in Combination with Hierarchical Reasoning.

Dennis Peuter

PhD thesis, 2024

2023

On the Verification of Parametric Systems.

Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans

CoRR, 2023

On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics 𝓔𝓛, 𝓔𝓛⁺.

Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert

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>ℒ⁺.

Dennis Peuter, Viorica Sofronie-Stokkermans, Sebastian Thunert

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).

Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans

CoRR, 2021

Symbol Elimination and Applications to Parametric Entailment Problems (Abstract).

Dennis Peuter, Viorica Sofronie-Stokkermans

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).

Lucas Böltz, Hannes Frey, Dennis Peuter, Viorica Sofronie-Stokkermans

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

Symbol Elimination and Applications to Parametric Entailment Problems.

Dennis Peuter, Viorica Sofronie-Stokkermans

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+.

Dennis Peuter, Viorica Sofronie-Stokkermans

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

On Invariant Synthesis for Parametric Systems.

Dennis Peuter, Viorica Sofronie-Stokkermans

Proceedings of the Automated Deduction - CADE 27, 2019

2018

On Inductive Verification and Synthesis.

Dennis Peuter, Viorica Sofronie-Stokkermans

Proceedings of the Selected Student Contributions and Workshop Papers of LuxLogAI 2018, 2018