I agree that this site is using cookies. You can find further informations here.
X
Koopmann, Patrick
85  results:
english X
Search for persons X
?
1

Enhancing Probabilistic Model Checking with Ontologies:

Dubslaff, Clemens ; Koopmann, Patrick ; Turhan, Anni-Yasmin
Formal Aspects of Computing.  33 (2021)  6 - p. 885-921 , 2021
Link: https://doi.org/10.1007/..
 
?
2

Efficient TBox Reasoning with Value Restrictions using the ..:

BAADER, FRANZ ; KOOPMANN, PATRICK ; MICHEL, FRIEDRICH..
Theory and Practice of Logic Programming.  22 (2021)  2 - p. 162-192 , 2021
Link: https://doi.org/10.1017/..
 
?
3

Metric Temporal Description Logics with Interval-Rigid Name:

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick..
ACM Transactions on Computational Logic (TOCL).  21 (2020)  4 - p. 1-46 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

Metric Temporal Description Logics with Interval-Rigid Name:

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick..
ACM Transactions on Computational Logic.  21 (2020)  4 - p. 1-46 , 2020
Link: https://doi.org/10.1145/..
 
?
5

Semantic Technologies for Situation Awareness: Report on a ..:

Baader, Franz ; Borgwardt, Stefan ; Koopmann, Patrick..
KI - Künstliche Intelligenz.  34 (2020)  4 - p. 543-550 , 2020
Link: https://doi.org/10.1007/..
 
?
6

LETHE: Forgetting and Uniform Interpolation for Expressive ..:

Koopmann, Patrick
KI - Künstliche Intelligenz.  34 (2020)  3 - p. 381-387 , 2020
Link: https://doi.org/10.1007/..
 
?
7

SOQE 2017 

proceedings of the Workshop on Second-Order Quantifier Elim... 
Koopmann, Patrick ; Rudolph, Sebastian ; Schmidt, Renate A.. , 2017
Link: http://2017.soqe.org/soq..
 
?
8

Efficient Computation of General Modules for ALC Ontologies..:

Yang, Hui ; Koopmann, Patrick ; Ma, Yue.
hal-04096870.  , 2023
Link: https://hal.science/hal-..
 
?
9

Efficient Computation of General Modules for ALC Ontologies..:

Yang, Hui ; Koopmann, Patrick ; Ma, Yue.
hal-04096870.  , 2023
Link: https://hal.science/hal-..
 
?
10

Planning With Ontology-Enhanced States Using Problem-Depend..:

John, Tobias ; Koopmann, Patrick
John, Tobias Koopmann, Patrick . Planning With Ontology-Enhanced States Using Problem-Dependent Rewritings. CEUR Workshop Proceedings. 2023, 3493.  , 2023
Link: http://hdl.handle.net/10..
 
?
11

Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantifie..:

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco.
urn:nbn:de:bsz:14-qucosa2-785040.  , 2022
Link: https://nbn-resolving.or..
 
?
12

Connection-Minimal Abduction in EL via Translation to FOL (..:

Haifani, Fajar ; Koopmann, Patrick ; Tourret, Sophie.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-10769-6_12.  , 2022
Link: https://inria.hal.scienc..
 
?
13

Connection-Minimal Abduction in EL via Translation to FOL (..:

Haifani, Fajar ; Koopmann, Patrick ; Tourret, Sophie.
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-10769-6_12.  , 2022
Link: https://inria.hal.scienc..
 
?
14

Computing Optimal Repairs of Quantified ABoxes w.r.t. Stati..:

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco.
10.1007/978-3-030-79876-5_18.  , 2021
Link: https://nbn-resolving.or..
 
?
15

Computing Optimal Repairs of Quantified ABoxes w.r.t. Stati..:

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco.
doi:10.1007/978-3-030-79876-5_18.  , 2021
Link: https://zenodo.org/recor..
 
1-15