A Knowledge Base for Justified Information Security Decision-making. - Daria Stepanova 001; Simon Edward Parkin; Aad P. A. van Moorsel (ICSOFT (2), 2009)

Semantic Independence in DL-Programs. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (RR, 2012)

Data Repair of Inconsistent DL-Programs. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (IJCAI, 2013)

Inconsistency Management for Description Logic Programs and Beyond. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (RR, 2013)

Exploiting Support Sets for Answer Set Programs with External Evaluations. - Thomas Eiter; Michael Fink 001; Christoph Redl; Daria Stepanova 001 (AAAI, 2014)

Towards Practical Deletion Repair of Inconsistent DL-programs. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (ECAI, 2014)

Computing Repairs for Inconsistent DL-programs over EL Ontologies. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (JELIA, 2014)

Towards Nonmonotonic Relational Learning from Knowledge Graphs. - Hai Dang Tran; Daria Stepanova 001; Mohamed H. Gad-Elrab; Francesca A. Lisi; Gerhard Weikum (ILP, 2016)

Exception-Enriched Rule Learning from Knowledge Graphs. - Mohamed H. Gad-Elrab; Daria Stepanova 001; Jacopo Urbani; Gerhard Weikum (ISWC (1), 2016)

Data repair of inconsistent nonmonotonic description logic programs. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (Artif. Intell., 2016)

Computing Repairs of Inconsistent DL-Programs over EL Ontologies. - Thomas Eiter; Michael Fink 001; Daria Stepanova 001 (J. Artif. Intell. Res., 2016)

Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. - Francesco Calimeri; Michael Fink 001; Stefano Germano; Andreas Humenberger; Giovambattista Ianni; Christoph Redl; Daria Stepanova 001; Andrea Tucci; Anton Wimmer (IEEE Trans. Comput. Intell. AI Games, 2016)

On event-driven knowledge graph completion in digital factories. - Martin Ringsquandl; Evgeny Kharlamov; Daria Stepanova 001; Steffen Lamparter; Raffaello Lepratti; Ian Horrocks 001; Peer Kröger (IEEE BigData, 2017)

Combining Rule Learning and Nonmonotonic Reasoning for Link Prediction in Knowledge Graphs. - Francesca Alessandra Lisi; Daria Stepanova 001 (RuleML+RR (Supplement), 2017)

Event-Enhanced Learning for KG Completion. - Martin Ringsquandl; Evgeny Kharlamov; Daria Stepanova 001; Marcel Hildebrandt; Steffen Lamparter; Raffaello Lepratti; Ian Horrocks 001; Peer Kröger (ESWC, 2018)

Completeness-aware Rule Learning from Knowledge Graphs. - Thomas Pellissier Tanon; Daria Stepanova 001; Simon Razniewski; Paramita Mirza; Gerhard Weikum (IJCAI, 2018)

Rule Induction and Reasoning over Knowledge Graphs. - Daria Stepanova 001; Mohamed H. Gad-Elrab; Vinh Thinh Ho (RW, 2018)

Learning Rules from Incomplete KGs using Embeddings. - Vinh Thinh Ho; Daria Stepanova 001; Mohamed H. Gad-Elrab; Evgeny Kharlamov; Gerhard Weikum (ISWC (P&D/Industry/BlueSky), 2018)

Rule Learning from Knowledge Graphs Guided by Embedding Models. - Vinh Thinh Ho; Daria Stepanova 001; Mohamed H. Gad-Elrab; Evgeny Kharlamov; Gerhard Weikum (ISWC (1), 2018)

Filling Gaps in Industrial Knowledge Graphs via Event-Enhanced Embedding. - Martin Ringsquandl; Evgeny Kharlamov; Daria Stepanova 001; Marcel Hildebrandt; Steffen Lamparter; Raffaello Lepratti; Ian Horrocks 001; Peer Kröger (ISWC (P&D/Industry/BlueSky), 2018)

Towards Semantic Integration of Bosch Manufacturing Data. - Anees Mehdi; Evgeny Kharlamov; Daria Stepanova 001; Felix Loesch; Irlán Grangel-González (ISWC (Satellites), 2019)

Towards the Bosch Materials Science Knowledge Base. - Jannik Strötgen; Trung-Kien Tran; Annemarie Friedrich; Dragan Milchevski; Federico Tomazic; Anika Marusczyk; Heike Adel; Daria Stepanova 001; Felix Hildebrand; Evgeny Kharlamov (ISWC (Satellites), 2019)

ExFaKT: A Framework for Explaining Facts over Knowledge Graphs and Text. - Mohamed H. Gad-Elrab; Daria Stepanova 001; Jacopo Urbani; Gerhard Weikum (WSDM, 2019)

Tracy: Tracing Facts over Knowledge Graphs and Text. - Mohamed H. Gad-Elrab; Daria Stepanova 001; Jacopo Urbani; Gerhard Weikum (WWW, 2019)

Hybrid ASP-based Approach to Pattern Mining. - Sergey Paramonov 001; Daria Stepanova 001; Pauli Miettinen (Theory Pract. Log. Program., 2019)

Differentiable learning of numerical rules in knowledge graphs. - Po-Wei Wang; Daria Stepanova 001; Csaba Domokos; J. Zico Kolter (ICLR, 2020)

Towards Utilizing Knowledge Graph Embedding Models for Conceptual Clustering. - Mohamed H. Gad-Elrab; Vinh Thinh Ho; Evgeny Levinkov; Trung-Kien Tran; Daria Stepanova 001 (ISWC (Demos/Industry), 2020)

ExCut: Explainable Embedding-Based Clustering over Knowledge Graphs. - Mohamed H. Gad-Elrab; Daria Stepanova 001; Trung-Kien Tran; Heike Adel; Gerhard Weikum (ISWC (1), 2020)

Fast Computation of Explanations for Inconsistency in Large-Scale Knowledge Graphs. - Trung-Kien Tran; Mohamed H. Gad-Elrab; Daria Stepanova 001; Evgeny Kharlamov; Jannik Strötgen (WWW, 2020)

Towards Leveraging Commonsense Knowledge for Autonomous Driving. - Sreyasi Nag Chowdhury; Ruwan Wickramarachchi; Mohamed H. Gad-Elrab; Daria Stepanova 001; Cory A. Henson (ISWC (Posters/Demos/Industry), 2021)

Improving Knowledge Graph Embeddings with Ontological Reasoning. - Nitisha Jain; Trung-Kien Tran; Mohamed H. Gad-Elrab; Daria Stepanova 001 (ISWC, 2021)

A Neural-symbolic Approach for Ontology-mediated Query Answering. - Medina Andresel; Csaba Domokos; Daria Stepanova 001; Trung-Kien Tran (CoRR, 2021)

Large-Neighbourhood Search for Optimisation in Answer-Set Solving. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; Daria Stepanova 001 (AAAI, 2022)

The Data Value Quest: A Holistic Semantic Approach at Bosch. - Baifan Zhou; Zhuoxun Zheng; Dongzhuoran Zhou; Gong Cheng 001; Ernesto Jiménez-Ruiz; Trung-Kien Tran; Daria Stepanova 001; Mohamed H. Gad-Elrab; Nikolay Nikolov; Ahmet Soylu; Evgeny Kharlamov (ESWC (Satellite Events), 2022)

ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; Daria Stepanova 001 (KR, 2022)

Towards Neural Network Interpretability Using Commonsense Knowledge Graphs. - Youmna Ismaeil; Daria Stepanova 001; Trung-Kien Tran; Piyapat Saranrittichai; Csaba Domokos; Hendrik Blockeel (ISWC, 2022)

Neuro-Symbolic AI at Bosch: Data Foundation, Insights, and Deployment. - Baifan Zhou; Zhipeng Tan; Zhuoxun Zheng; Dongzhuoran Zhou; Yunjie He; Yuqicheng Zhu; Muhammad Yahya; Trung-Kien Tran; Daria Stepanova 001; Mohamed H. Gad-Elrab; Evgeny Kharlamov (ISWC (Posters/Demos/Industry), 2022)

Enhancing Knowledge Bases with Quantity Facts. - Vinh Thinh Ho; Daria Stepanova 001; Dragan Milchevski; Jannik Strötgen; Gerhard Weikum (WWW, 2022)

Combining Inductive and Deductive Reasoning for Query Answering over Incomplete Knowledge Graphs. - Medina Andresel; Trung-Kien Tran; Csaba Domokos; Pasquale Minervini; Daria Stepanova 001 (CIKM, 2023)

Rule-based Knowledge Graph Completion with Canonical Models. - Simon Ott; Patrick Betz; Daria Stepanova 001; Mohamed H. Gad-Elrab; Christian Meilicke; Heiner Stuckenschmidt (CIKM, 2023)

Addressing the Scalability Bottleneck of Semantic Technologies at Bosch. - Diego Rincon-Yanez; Mohamed H. Gad-Elrab; Daria Stepanova 001; Kien-Trung Tran; Cuong Chu Xuan; Baifan Zhou; Evgeny Kharlamov (ESWC (Satellite Events), 2023)

Supplier Optimization at Bosch with Knowledge Graphs and Answer Set Programming. - Cuong Chu Xuan; Mohamed H. Gad-Elrab; Trung-Kien Tran; Marvin Schiller; Evgeny Kharlamov; Daria Stepanova 001 (ESWC (Satellite Events), 2023)

Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures. - Loris Bozzato; Thomas Eiter; Rafael Kiesel; Daria Stepanova 001 (ICLP Workshops, 2023)

FeaBI: A Feature Selection-Based Framework for Interpreting KG Embeddings. - Youmna Ismaeil; Daria Stepanova 001; Trung-Kien Tran; Hendrik Blockeel (ISWC, 2023)

Look beyond the Surface: A Demo for Explaining Knowledge Graph Embeddings and Entity Similarity. - Huu Tan Mai; Youmna Ismaeil; Daria Stepanova 001; Trung-Kien Tran; Hendrik Blockeel (ISWC (Posters/Demos/Industry), 2023)

Contextual Reasoning for Scene Generation (Technical Report). - Loris Bozzato; Thomas Eiter; Rafael Kiesel; Daria Stepanova 001 (CoRR, 2023)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. - Thomas Eiter; Tobias Geibinger; Nysret Musliu; Johannes Oetsch; Peter Skocovský; Daria Stepanova 001 (Theory Pract. Log. Program., 2023)

Adaptive large-neighbourhood search for optimisation in answer-set programming. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; Dave Pfliegler; Daria Stepanova 001 (Artif. Intell., 2024)

Explaining Graph Neural Networks for Node Similarity on Graphs. - Daniel Daza; Cuong Xuan Chu; Trung-Kien Tran; Daria Stepanova 001; Michael Cochez; Paul Groth (CoRR, 2024)

Learning Rules from KGs Guided by Language Models. - Zihang Peng; Daria Stepanova 001; Vinh Thinh Ho; Heike Adel; Alessandra Russo; Simon Ott (CoRR, 2024)

Neuro-symbolic AI and the semantic web. - Pascal Hitzler; Monireh Ebrahimi; Md. Kamruzzaman Sarker; Daria Stepanova 001 (Semantic Web, 2024)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. - Thomas Eiter; Tobias Geibinger; Nysret Musliu; Johannes Oetsch; Peter Skocovský; Daria Stepanova 001 (Theory Pract. Log. Program., 2024)

Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; David Pflieger; Daria Stepanova 001 (Zenodo, 2024)

Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming. - Thomas Eiter; Tobias Geibinger; Nelson Higuera Ruiz; Nysret Musliu; Johannes Oetsch; David Pflieger; Daria Stepanova 001 (Zenodo, 2024)