E-LIB Suche - Ergebnisse für: Koopmann, Patrick

1

Optimal Repairs in the Description Logic $$\mathcal{E}\math..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco - p. 11-34 , 2023

Link: https://doi.org/10.1007/..

2

Combining Proofs for Description Logic and Concrete Domain ..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan.. - p. 54-69 , 2023

Link: https://doi.org/10.1007/..

3

Connection-Minimal Abduction in $$\mathcal {EL}$$ via Trans..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Haifani, Fajar ; Koopmann, Patrick ; Tourret, Sophie. - p. 188-207 , 2022

Link: https://doi.org/10.1007/..

4

Optimal ABox Repair w.r.t. Static $$\mathcal {EL}$$ TBoxes:..:

, In: The Semantic Web; Lecture Notes in Computer Science,

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco. - p. 130-146 , 2022

Link: https://doi.org/10.1007/..

5

Evonne: Interactive Proof Visualization for Description Log..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan... - p. 271-280 , 2022

Link: https://doi.org/10.1007/..

6

Explaining Ontology-Mediated Query Answers Using Proofs ove..:

, In: Rules and Reasoning; Lecture Notes in Computer Science,

Alrabbaa, Christian ; Borgwardt, Stefan ; Koopmann, Patrick. - p. 167-182 , 2022

Link: https://doi.org/10.1007/..

7

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

8

Finding Good Proofs for Description Logic Entailments using..:

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Alrabbaa, Christian ; Baader, Franz ; Borgwardt, Stefan.. - p. 291-308 , 2021

Link: https://doi.org/10.1007/..

9

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

10

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

, In: Automated Deduction – CADE 28; Lecture Notes in Computer Science,

Baader, Franz ; Koopmann, Patrick ; Kriegel, Francesco. - p. 309-326 , 2021

Link: https://doi.org/10.1007/..

11

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

12

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

13

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

14

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

15

Ontology-Mediated Probabilistic Model Checking:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Dubslaff, Clemens ; Koopmann, Patrick ; Turhan, Anni-Yasmin - p. 194-211 , 2019

Link: https://doi.org/10.1007/..