Egor V. Kostylev
13 papers
· 2015–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
πΊοΈ
Taxonomy Completionist
(11)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(10)
π
Cross-Pollinator
(7)
π
Renaissance Researcher
(7)
π
Trend Setter
π
Century Club
(13)
Conferences
IJCAI (8)
ICLR (3)
AAAI (2)
Top co-authors
Keywords
computational complexity
(4)
logic programming
(3)
data complexity
(3)
metric temporal logic
(2)
expressive power
(2)
ontology-based data access
(2)
knowledge representation
(2)
integrity constraint
(1)
background knowledge
(1)
vocabulary restriction
(1)
complexity classification
(1)
bag semantics
(1)
query rewriting
(1)
description logic
(1)
query answering
(1)
stable model
(1)
graph neural network
(1)
stratified negation
(1)
fact entailment
(1)
stable model semantics
(1)
Papers
Reformulating Queries: Theory and Practice
IJCAI 2017