Kovtunova, Alisa

1. Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
   2022/08/30 by Christian Alrabbaa, Alrabbaa, Christian, Stefan Borgwardt +5 · 2 citations
   Computer Science · #68-06 #Advanced Database Systems and Queries #Databases (cs.DB) #F.4.1 #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
2. First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries
   2021/11/12 by Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa +3 · 1 citation
   #Databases (cs.DB) #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)
3. Expressivity of Planning with Horn Description Logic Ontologies\n (Technical Report)
   2022/03/17 by Stefan Borgwardt, Borgwardt, Stefan, J. Hoffmann +10 · 1 citation
   Computer Science · #68 #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #I.2.4 #I.2.8 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies
4. Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)
   2021/04/27 by Alrabbaa, Christian, Baader, Franz, Borgwardt, Stefan +2 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #I.2.4 #Logic in Computer Science (cs.LO)