Kovtunova, Alisa

5 publications

AAAI 2022 Classical Planning with Avoid Conditions Marcel Steinmetz, Jörg Hoffmann, Alisa Kovtunova, Stefan Borgwardt

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

JAIR 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

IJCAI 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 2015 First-Order Rewritability of Temporal Ontology-Mediated Queries Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev