Stepanova, Daria

6 publications

AAAI 2022 Large-Neighbourhood Search for Optimisation in Answer-Set Solving Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova
ICLR 2020 Differentiable Learning of Numerical Rules in Knowledge Graphs Po-Wei Wang, Daria Stepanova, Csaba Domokos, J. Zico Kolter
IJCAI 2018 Completeness-Aware Rule Learning from Knowledge Graphs Thomas Pellissier Tanon, Daria Stepanova, Simon Razniewski, Paramita Mirza, Gerhard Weikum
JAIR 2016 Computing Repairs of Inconsistent DL-Programs over EL Ontologies Thomas Eiter, Michael Fink, Daria Stepanova
AAAI 2014 Exploiting Support Sets for Answer Set Programs with External Evaluations Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova
IJCAI 2013 Data Repair of Inconsistent DL-Programs Thomas Eiter, Michael Fink, Daria Stepanova