Alisa Kovtunova

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 42

Top Topics

Technical Report

Top Venues

Description Logics

Publications

Stefan Borgwardt, Vera Demberg, Mayank Jobanputra, Alisa Kovtunova, Duy Nhu
Explaining Critical Situations Over Sensor Data Streams Using Proofs and Natural Language. Description Logics (2024)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report). CoRR (2023)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Combining Proofs for Description Logic and Concrete Domain Reasoning. RuleML+RR (2023)
Stefan Borgwardt, Steffen Breuer, Alisa Kovtunova
Computing ABox Justifications for Query Answers via Datalog Rewriting. Description Logics (2023)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies. AAAI (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report). CoRR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models. RuleML+RR (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report). CoRR (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report). CoRR (2022)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75 (2022)
Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt
Classical Planning with Avoid Conditions. AAAI (2022)
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Temporal Minimal-World Query Answering over Sparse ABoxes. Theory Pract. Log. Program. 22 (2) (2022)
Christian Alrabbaa, Stefan Borgwardt, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
In the Head of the Beholder: Comparing Different Proof Representations. RuleML+RR (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Description Logics (2022)
Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh
Logic-Guided Message Generation from Raw Real-Time Sensor Data. LREC (2022)
Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies. Description Logics (2022)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
Making DL-Lite Planning Practical (Extended Abstract). Description Logics (2021)
Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. ICMI (2021)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz
Making DL-Lite Planning Practical. KR (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Description Logics (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR (2021)
Christian Alrabbaa, Stefan Borgwardt, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, Frederik Wiehr
In the Hand of the Beholder: Comparing Interactive Proof Visualizations. Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. CADE (2021)
Stefan Borgwardt, Ernie Chang, Kathryn Chapman, Vera Demberg, Alisa Kovtunova, Hui-Syuan Yeh
Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract). Description Logics (2021)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report). CoRR (2021)
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Temporal Minimal-World Semantics for Sparse ABoxes. CoRR (2021)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299 (2021)
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract). Description Logics (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report). CoRR (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
On the Complexity of Finding Good Proofs for Description Logic Entailments. Description Logics (2020)
Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova
Finding Small Proofs for Description Logic Entailments: Theory and Practice. LPAR (2020)
Frederik Wiehr, Anke Hirsch, Florian Daiber, Antonio Krüger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jörg Hoffmann
Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems. CoRR (2020)
Stefan Borgwardt, Anke Hirsch, Alisa Kovtunova, Frederik Wiehr
In the Eye of the Beholder: Which Proofs are Best? Description Logics (2020)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR (2020)
Alessandro Artale, Alisa Kovtunova, Marco Montali, Wil M. P. van der Aalst
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints. BPM (2019)
Stefan Borgwardt, Walter Forkel, Alisa Kovtunova
Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes. RuleML+RR (2019)
Alisa Kovtunova, Rafael Peñaloza
Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. KR (2018)
Alisa Kovtunova, Rafael Peñaloza
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. CoRR (2018)
Alisa Kovtunova, Rafael Peñaloza
Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data. Description Logics (2018)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME (2017)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI (2015)
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
Temporal OBDA with LTL and DL-Lite. Description Logics (2014)