Publikationen von Patrick Koopmann

Artikel in Fachzeitschriften

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Enhancing Probabilistic Model Checking with Ontologies
Formal Aspects of Computing, 2021
Details

Artikel in Tagungsbänden

Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
In Laura Giordano, Jean Christoph Jung, Ana Ozaki, eds., Proceedings of the 37th International Workshop on Description Logics (DL'24), volume 3739 of CEUR Workshop Proceedings, June 2024
Details

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Supporting Ontology-Mediated Stream Reasoning with Model Checking
Proceedings of the 5th Stream Reasoning Workshop (SR), 2021
Details

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Give Inconsistency a Chance: Semantics for Ontology-Mediated Verification
Proc. of 33rd International Workshop on Description Logics (DL), 2020
Details

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), January 2019
Details Download

David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download

Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan
Ontology-Mediated Probabilistic Model Checking
Proc. of 15th International Conference on integrated Formal Methods, volume 11918 of Lecture Notes in Computer Science, 194--211, 2019. Springer
Details

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

Herausgegebene Tagungsbände

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details