Alisa Kovtunova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
10
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IJCNLP | ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communication. | Mayank Jobanputra, Alisa Kovtunova, Brisca Balthes, Fedor Grigoryevich Pogulskiy, Yifan Wang, Stefan Borgwardt, Vera Demberg |
| 2024 | KR | Explaining Reasoning Results for OWL Ontologies with Evee. | Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krger, Alexej Popovic, Ida S. R. Siahaan |
| 2022 | AAAI | Expressivity of Planning with Horn Description Logic Ontologies. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Markus Krtzsch, Bernhard Nebel, Marcel Steinmetz |
| 2022 | AAAI | Classical Planning with Avoid Conditions. | Marcel Steinmetz, Jrg Hoffmann, Alisa Kovtunova, Stefan Borgwardt |
| 2022 | IJCAI | 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 |
| 2022 | LREC | Logic-Guided Message Generation from Raw Real-Time Sensor Data. | Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh |
| 2021 | CADE | Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2021 | ICMI | 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 Krger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jrg Hoffmann |
| 2021 | KR | Making DL-Lite Planning Practical. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Marcel Steinmetz |
| 2020 | LPAR | Finding Small Proofs for Description Logic Entailments: Theory and Practice. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2019 | BPM | 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 |
| 2018 | KR | Cutting Diamonds: A Temporal Logic with Probabilistic Distributions. | Alisa Kovtunova, Rafael Pealoza |
| 2017 | TIME | Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |
| 2015 | IJCAI | First-Order Rewritability of Temporal Ontology-Mediated Queries. | Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev |