Alisa Kovtunova

According to our database, Alisa Kovtunova authored at least 48 papers between 2014 and 2024.

Collaborative distances:

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

2024

Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language.

Stefan Borgwardt, Vera Demberg, Mayank Jobanputra, Alisa Kovtunova, Duy Nhu

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Dataset, August, 2023

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Dataset, August, 2023

Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Dataset, August, 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.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Computing ABox Justifications for Query Answers via Datalog Rewriting.

Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies".

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel

Dataset, June, 2022

Supplementary material to the paper "Expressivity of Planning with Horn Description Logic Ontologies".

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel

Dataset, June, 2022

Temporal Minimal-World Query Answering over Sparse ABoxes.

Stefan Borgwardt, Walter Forkel, Alisa Kovtunova

Theory Pract. Log. Program., 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

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report).

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

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

Expressivity of Planning with Horn Description Logic Ontologies (Technical Report).

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

CoRR, 2022

Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models.

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the Rules and Reasoning, 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

Proceedings of the Rules and Reasoning, 2022

Logic-Guided Message Generation from Raw Real-Time Sensor Data.

Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh

Proceedings of the Thirteenth Language Resources and Evaluation Conference, 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

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract).

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies.

Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Classical Planning with Avoid Conditions.

Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

Expressivity of Planning with Horn Description Logic Ontologies.

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Supplementary Material to "Making DL-Lite Planning Practical".

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz

Dataset, November, 2021

Supplementary Material to "Making DL-Lite Planning Practical".

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz

Dataset, November, 2021

Temporal Minimal-World Semantics for Sparse ABoxes.

Stefan Borgwardt, Walter Forkel, Alisa Kovtunova

CoRR, 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

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

Making DL-Lite Planning Practical.

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 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

Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 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

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Making DL-Lite Planning Practical (Extended Abstract).

Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

In the Hand of the Beholder: Comparing Interactive Proof Visualizations.

Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Dataset, May, 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

CoRR, 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

Finding Small Proofs for Description Logic Entailments: Theory and Practice.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

In the Eye of the Beholder: Which Proofs are Best?

Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr

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

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract).

Stefan Borgwardt, Walter Forkel, Alisa Kovtunova

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

On the Complexity of Finding Good Proofs for Description Logic Entailments.

Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova

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

Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes.

Stefan Borgwardt, Walter Forkel, Alisa Kovtunova

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

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

Proceedings of the Business Process Management - 17th International Conference, 2019

2018

Cutting Diamonds: A Temporal Logic with Probabilistic Distributions.

Alisa Kovtunova, Rafael Peñaloza

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data.

Alisa Kovtunova, Rafael Peñaloza

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

2015

First-Order Rewritability of Temporal Ontology-Mediated Queries.

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Temporal OBDA with LTL and DL-Lite.

Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014