Kostylev, Egor V.
- On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
2023/05/29 by David J. Tena Cucala, Bernardo Cuenca Grau, Cucala, David Tena +5 · 4 citations
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning and Data Classification
- Foundations of Declarative Data Analysis Using Limit Datalog Programs
2017/05/19 by Kaminski, Mark, Grau, Bernardo Cuenca, Kostylev, Egor V. +2 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- The Stable Model Semantics of Datalog with Metric Temporal Operators
2023/06/13 by Przemysław Andrzej Wałęga, Wałęga, Przemysław A., David J. Tena Cucala +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies
- Compositional Generalization with Grounded Language Models
2024/06/07 by Sondre Wold, Wold, Sondre, Étienne Simon +9 · 2 citations
Computer Science · #Computation and Language (cs.CL) #FOS: Computer and information sciences #Natural Language Processing Techniques
- Revisiting Inferential Benchmarks for Knowledge Graph Completion
2023/06/07 by Shuwen Liu, Bernardo Cuenca Grau, Liu, Shuwen +5 · 1 citation
Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Rough Sets and Fuzzy Logic
- Two variable logic with ultimately periodic counting
2020/06/01 by Benedikt, Michael, Kostylev, Egor V., Tan, Tony · 1 citation
#Combinatorics (math.CO) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)