Skip to Content

Path: KBS > staff > Daria Stepanova>

Tools: Drucken

---

After finishing PhD I have started working at Max Planck Institute for Informatics, see here.

Daria Stepanova
Postdoctoral Research Assistant
web: http://www.kr.tuwien.ac.at/staff/dasha/ email: dasha AT kr DOT tuwien DOT ac DOT at Phone: +43 (1) 58 801 184801 Fax: +43 (1) 58 801 9 18469 Office: Favoritenstrasse 9-11 A-1040 Vienna, Austria 3rd staircase, 3rd floor. Office hours: by appointment

---

---



Current Position

Postdoctoral research assistant at Knowledge-Based Systems Group of Vienna University of Technology, Austria.



Previous Experience

• Doctoral degree in Computer Science within the PhD program "Mathematical Logic in Computer Science" under the supervision of Prof. Dr. Thomas Eiter;
• Diploma degree in informatics obtained from the department of Mathematics and Mechanics of St. Petersburg State University, Russia;
• Guest member of staff at the School of Computing Science of Newcastle University, United Kingdom.

More details: Curriculum Vitae.



Research Interests

• Knowledge Representation
• Description Logics, Ontology
• Nonmontonic Reasoning, Logic Programming, Answer Set Programming
• Combination of Rules and Ontologies
• Inconsistency Handling in Combination of Rules and Ontologies
• Algorithms and Computational Complexity in AI



Research Projects

• Evaluation of ASP Programs with External Source Access (FWF P24090)
• Reasoning in Hybrid Knowledge Bases (FWF P20840)



Publications

Inconsistencies in Hybrid Knowledge Bases.
Daria Stepanova.
PhD Thesis, Vienna University of Technology, March 2015. [thesis |slides ]

 

Computing Repairs for Inconsistent DL-programs over EL Ontologies.
Thomas Eiter, Michael Fink, Daria Stepanova.
In JELIA, pages 426–441, 2014. [paper |slides ]

 

Towards Practical Deletion Repair of Inconsistent DL-programs.
Thomas Eiter, Michael Fink, Daria Stepanova.
In ECAI, pages 285–290, 2014. [ paper | slides ]

 

Towards Practical Deletion Repair of Inconsistent DL-programs.
Thomas Eiter, Michael Fink, Daria Stepanova.
In DL workshop, pages 169–180, 2014. [ paper]

 

Exploiting Support Sets for Answer Set Programs with External Evaluations.
Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova.
In AAAI 2014, pages 1041–1048, 2014. [ paper | poster ]

 

Inconsistencies in Hybrid Knowledge Bases.
Daria Stepanova.
In Doctoral Consortium of KR 2014, 2014. [ paper | slides | poster ]

 

Data Repair of Inconsistent DL-programs.
Thomas Eiter, Michael Fink, Daria Stepanova.
In IJCAI 2013, 2013. [ paper | slides | poster ]

 

Inconsistency Management for Description Logic Programs and Beyond.
Thomas Eiter, Michael Fink, Daria Stepanova.
In RR 2013, 2013.

 

Semantic Independence in DL-Programs.
Thomas Eiter, Michael Fink, Daria Stepanova.
In RR 2012, pages 58–74, 2012. [ paper | slides ]

 

A Knowledge Base for Justified Information Security Decision-making.
Daria Stepanova, Simon Edward Parkin, Aad P. A. van Moorsel.
In ICSOFT (2) 2009, pages 326–331, 2009.

Professional Activities

Volunteer Work in Organizing Conferences

• Vienna Summer of Logic, Vienna, Austria, July 9-24, 2014
• 25th International Conference on Computer Aided Verification, Saint Petersburg, Russia, July 13-19, 2013
• 6th International Conference on Web Reasoning and Rules Systems, Vienna, Austria, September 10-12, 2012

Reviewing for Journals

• Journal on Data Semantics
• Journal of Web Semantics

Reviewing for Conferences and Workshops

• International Description Logic Workshop: 2015
• International Workshop on Non-Monotonic Reasoning (NMR): 2014
• Conference on Knowledge Engineering and Semantic Web: 201320142015 (program committee member)
• AAAI Conference on Artificial Intelligence (AAAI): 2013
• International Semantic Web Conference (ISWC): 2013
• International Conference on Scalable Uncertainty Management (SUM): 2013
• International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR): 2013

.