Egor V. Kostylev
13 papers · 2015–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🐣 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
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
Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access
IJCAI 2019
DatalogMTL: Computational Complexity and Expressive Power
IJCAI 2019
Stratified Negation in Limit Datalog Programs
IJCAI 2018
Reformulating Queries: Theory and Practice
IJCAI 2017
The Bag Semantics of Ontology-Based Data Access
IJCAI 2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs
IJCAI 2017
Controlled Query Evaluation for Datalog and OWL 2 Profile Ontologies
IJCAI 2015