Alisa Kovtunova
5 papers · 2015–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Half
🌉
Interdisciplinary Bridge · Bronze
Venues
Top co-authors
Research topics
Keywords
automated planning
(1)
natural language generation
(1)
knowledge representation
(1)
first-order logic
(1)
abstraction learning
(1)
language model
(1)
state pruning
(1)
query rewriting
(1)
classical planning
(1)
state constraint
(1)
description logic
(1)
ontology-mediated query
(1)
linear temporal logic
(1)
ai planning
(1)
temporal logic constraint
(1)
temporal data
(1)
natural language explanation
(1)
recency bia
(1)
proof interpretation
(1)
reasoning reliability
(1)
Papers
ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communication
IJCNLP 2025
Classical Planning with Avoid Conditions
AAAI 2022
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract)
IJCAI 2022
First-Order Rewritability of Temporal Ontology-Mediated Queries
IJCAI 2015