Egor V. Kostylev
13 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 ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Gold 🗺️ Taxonomy Completionist (14)
🧬
Topic Evolution
🌈
Renaissance Researcher
(5)
💎
Century Club · Bronze
Top co-authors
Research topics
Machine Learning
(7)
Knowledge & Reasoning
(6)
Reasoning
(6)
Optimization & Theory
(5)
Artificial Intelligence
(4)
Deep Learning
(4)
Architectures
(4)
Core AI
(4)
Mathematics & Optimization
(2)
Core Methods
(2)
Mathematics
(2)
Interdisciplinary
(1)
Natural Language Processing
(1)
Representation
(1)
Resources & Methods
(1)
Keywords
computational complexity
(4)
graph neural network
(4)
data complexity
(3)
logic programming
(3)
expressive power
(2)
first-order logic
(2)
knowledge representation
(2)
ontology-based data access
(2)
metric temporal logic
(2)
knowledge graph
(1)
query reformulation
(1)
logical reasoning
(1)
complexity analysis
(1)
graph isomorphism
(1)
vocabulary restriction
(1)
weisfeiler-lehman test
(1)
background knowledge
(1)
vanishing gradient
(1)
constraint satisfaction
(1)
integrity constraint
(1)
Papers
GLoRa: A Benchmark to Evaluate the Ability to Learn Long-Range Dependencies in Graphs
ICLR 2025
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic
AAAI 2024
Explainable GNN-Based Models over Knowledge Graphs
ICLR 2022
Complexity and Expressive Power of Disjunction and Negation in Limit Datalog
AAAI 2020
The Logical Expressiveness of Graph Neural Networks
ICLR 2020
Tractable Fragments of Datalog with Metric Temporal Operators
IJCAI 2020
DatalogMTL: Computational Complexity and Expressive Power
IJCAI 2019
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
IJCAI 2019
Stratified Negation in Limit Datalog Programs
IJCAI 2018
Foundations of Declarative Data Analysis Using Limit Datalog Programs
IJCAI 2017
Reformulating Queries: Theory and Practice
IJCAI 2017
The Bag Semantics of Ontology-Based Data Access
IJCAI 2017
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
IJCAI 2015