Temporal OBDA with LTL and DL-Lite. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2014)

First-Order Rewritability of Temporal Ontology-Mediated Queries. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2015)

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (TIME, 2017)

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. - Alisa Kovtunova; Rafael Peñaloza (Description Logics, 2018)

Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. - Alisa Kovtunova; Rafael Peñaloza (KR, 2018)

Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints. - Alessandro Artale; Alisa Kovtunova; Marco Montali; Wil M. P. van der Aalst (BPM, 2019)

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (RuleML+RR, 2019)

On the Complexity of Finding Good Proofs for Description Logic Entailments. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2020)

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (Description Logics, 2020)

In the Eye of the Beholder: Which Proofs are Best? - Stefan Borgwardt; Anke Hirsch; Alisa Kovtunova; Frederik Wiehr (Description Logics, 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (LPAR, 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2020)

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. - Frederik Wiehr; Anke Hirsch; Florian Daiber; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann 001 (CoRR, 2020)

Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2020)

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CADE, 2021)

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2021)

In the Hand of the Beholder: Comparing Interactive Proof Visualizations. - Christian Alrabbaa; Stefan Borgwardt; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr (Description Logics, 2021)

Making DL-Lite Planning Practical (Extended Abstract). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Description Logics, 2021)

Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract). - Stefan Borgwardt; Ernie Chang; Kathryn Chapman; Vera Demberg; Alisa Kovtunova; Hui-Syuan Yeh (Description Logics, 2021)

Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. - Frederik Wiehr; Anke Hirsch; Lukas Schmitz; Nina Knieriemen; Antonio Krüger; Alisa Kovtunova; Stefan Borgwardt; Ernie Chang; Vera Demberg; Marcel Steinmetz; Jörg Hoffmann 001 (ICMI, 2021)

Making DL-Lite Planning Practical. - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (KR, 2021)

First-order rewritability of ontology-mediated queries in linear temporal logic. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2021)

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2021)

Temporal Minimal-World Semantics for Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (CoRR, 2021)

Supplementary Material to "Making DL-Lite Planning Practical". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Zenodo, 2021)

Supplementary Material to "Making DL-Lite Planning Practical". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Marcel Steinmetz (Zenodo, 2021)

Expressivity of Planning with Horn Description Logic Ontologies. - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (AAAI, 2022)

Classical Planning with Avoid Conditions. - Marcel Steinmetz; Jörg Hoffmann 001; Alisa Kovtunova; Stefan Borgwardt (AAAI, 2022)

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Description Logics, 2022)

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (Description Logics, 2022)

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2022)

Logic-Guided Message Generation from Raw Real-Time Sensor Data. - Ernie Chang; Alisa Kovtunova; Stefan Borgwardt; Vera Demberg; Kathryn Chapman; Hui-Syuan Yeh (LREC, 2022)

In the Head of the Beholder: Comparing Different Proof Representations. - Christian Alrabbaa; Stefan Borgwardt; Anke Hirsch; Nina Knieriemen; Alisa Kovtunova; Anna Milena Rothermel; Frederik Wiehr (RuleML+RR, 2022)

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (RuleML+RR, 2022)

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel; Marcel Steinmetz (CoRR, 2022)

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2022)

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). - Christian Alrabbaa; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2022)

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (J. Artif. Intell. Res., 2022)

Temporal Minimal-World Query Answering over Sparse ABoxes. - Stefan Borgwardt; Walter Forkel; Alisa Kovtunova (Theory Pract. Log. Program., 2022)

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel (Zenodo, 2022)

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies". - Stefan Borgwardt; Jörg Hoffmann 001; Alisa Kovtunova; Markus Krötzsch; Bernhard Nebel (Zenodo, 2022)

Computing ABox Justifications for Query Answers via Datalog Rewriting. - Stefan Borgwardt; Steffen Breuer; Alisa Kovtunova (Description Logics, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (RuleML+RR, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (CoRR, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources. - Christian Alrabbaa; Franz Baader; Stefan Borgwardt; Patrick Koopmann; Alisa Kovtunova (Zenodo, 2023)

Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language. - Stefan Borgwardt; Vera Demberg; Mayank Jobanputra; Alisa Kovtunova; Duy Nhu (Description Logics, 2024)

Explaining Reasoning Results for OWL Ontologies with Evee. - Christian Alrabbaa; Stefan Borgwardt; Tom Friese; Anke Hirsch; Nina Knieriemen; Patrick Koopmann; Alisa Kovtunova; Antonio Krüger; Alexej Popovic; Ida S. R. Siahaan (KR, 2024)