Alisa Kovtunova
6 papers
· 2015–2025
· 4 conferences
· across top CS/AI conferences
Achievements
π
Conference Polyglot
(4)
π
Academic Marathon
(10)
π
Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(10)
π§
Keyword Pioneer
π
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (2)
AACL (1)
IJCNLP (1)
Top co-authors
Keywords
large language model
(2)
natural language generation
(1)
knowledge representation
(1)
text generation
(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 datum
(1)
natural language explanation
(1)
proof generation
(1)
recency bia
(1)
proof interpretation
(1)
Papers
Classical Planning with Avoid Conditions
AAAI 2022