Egor Kostylev

Associate Professor - Programming
Image of Egor Kostylev
Norwegian version of this page
Username
Visiting address Gaustadalléen 23B 0373 Oslo
Postal address Postboks 1080 0316 Oslo
Other affiliations The International Summer School (Student)

Publications

  • Kaminski, Mark; Kostylev, Egor; Grau, Bernardo Cuenca; Motik, Boris & Horrocks, Ian (2022). The Complexity and Expressive Power of Limit Datalog. Journal of the ACM. ISSN 0004-5411. 69(1). doi: 10.1145/3495009.
  • Tena Cucala, David; Wałęga, Przemysław; Grau, Bernardo Cuenca & Kostylev, Egor (2021). Stratified Negation in Datalog with Metric Temporal Operators. In Leyton-Brown, Kevin & Mausam, Mausam (Ed.), Proceedings of the 35th National Conference on Artificial Intelligence‚ AAAI 2021 (volume 35 no. 7). AAAI Press. ISSN 978-1-57735-866-4. p. 6488–6495.
  • Kostylev, Egor; Wałęga, Przemysław; Tena Cucala, David & Grau, Bernardo Cuenca (2021). DatalogMTL with Negation Under Stable Models Semantics. In Bienvenu, Meghyn; Gerhard, Lakemeyer & Erdem, Esra (Ed.), Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR2021) . International Joint Conferences on Artificial Intelligence Organization (IJCAI). ISSN 978-1-956792-99-7. doi: 10.24963/kr.2021/58.
  • Kamburjan, Eduard & Kostylev, Egor (2021). Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. CEUR Workshop Proceedings. ISSN 1613-0073. 2954. Full text in Research Archive

View all works in Cristin

  • Kostylev, Egor; Liu, Shuwen; Horrocks, Ian & Grau, Bernardo Cuenca (2021). INDIGO: GNN-Based Inductive Knowledge Graph Completion Using Pair-Wise Encoding.
  • Zhou, Dongzhuoran; Zhou, Baifan; Chen, Jieying; Cheng, Gong; Kostylev, Egor & Kharlamov, Evgeny (2021). Towards Ontology Reshaping for KG Generation with User-in-the-Loop: Applied to Bosch Welding.

View all works in Cristin

Published Dec. 21, 2020 11:59 AM - Last modified Jan. 13, 2022 9:21 AM