Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
5 links
Alisa Kovtunova
Researcher
PaperExpressivity of Planning with Horn Description Logic Ontologies (Technical Report)Authorship / preprint / 2022PaperExplaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)Authorship / preprint / 2022PaperFinding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)Authorship / preprint / 2022PaperFinding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report)Authorship / preprint / 2022PaperFinding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)Authorship / preprint / 2020