Alisa Kovtunova
6 papers · 2015–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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
ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communication
AACL 2025
ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communication
IJCNLP 2025
Expressivity of Planning with Horn Description Logic Ontologies
AAAI 2022
Classical Planning with Avoid Conditions
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