Alisa Kovtunova

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