Daria StepanovaCurriculum Vitae

Favoritenstraße 9-11Vienna, Austria

H +43 680 5040619T +43 (1) 58801184801

B daria.stepanova@kr.tuwien.ac.atÍ http://www.kr.tuwien.ac.at/staff/dasha/

Personal InformationBorn May 7, 1988 in St.Petersburg, Russia

Nationality RussianLanguages Russian (native speaker), English (proficient user), German (intermediate)

Education2011–present PhD student at Vienna University of Technology.

Faculty InformaticsProgram Mathematical Logic in Computer ScienceThesis Inconsistencies in Hybrid Knowledge Bases

Supervisor O. Univ. Prof. Dr. techn. Thomas EiterCo-supervisor Proj. Ass. Dr. Michael Fink

2005–2010 Diploma student at St. Petersburg State University.equiv. to BSc + MSc

Faculty Mathematics and MechanicsSpecialization Applied Informatics

Thesis Computer-aided Resolution of Unsatisfiabilities in OntologiesSupervisor Prof. Dr. techn. Boris Novikov

graduation with distinction

Continuing Education2006–2007 Student at St. Petersburg State University.

Department of LinguisticsEnglish for professionalsLevel completed: advanced

1/5

2011–2012 Student at Vienna University of Technology.German as a foreign languageLevels completed: A 2.1, B 2.2

Work Experience2011–present Research assistant at Vienna University of Technology, Vienna, Austria.

Involved in projects:Reasoning in Hybrid Knowledge Bases (FWF P20840)(2011–2012)http://www.kr.tuwien.ac.at/research/projects/hybridkb/index.htmlEvaluation of ASP Programs with External Source Access (FWF P24090)(2014)http://www.kr.tuwien.ac.at/research/projects/hexhex/

2009–2011 Specialist on system implementation at “eKassir”, St.Petersburg, Russia.Development of software for payment systems,System installation and adjustment on the client’s side,Technical support and remote assistance.Business trips: Podgorica (Montenegro), Akkra (Ghana).

2008–2009 Research intern at Newcastle University, Newcastle-upon-Tyne, UK.Project: Trust Economics,https://wiki.cs.ncl.ac.uk/trusteconomics/TrustEconomics

Development of a knowledge-based system prototype for information security decision-making

2007–2008,2009–2010

Part-time tutor of English for corporate clients at American Language Mas-ters (ALM), St.Petersburg, Russia.

Computer skills{ Programming Languagesjava, C, C++, Turbo Pascal 7.0, java script{ Knowledge Based SystemsDescription Logics ontologies (Protege, owl-api, owlcpp), Answer Set Programming,HEX-programs{ Operating SystemsLinux (Ubuntu), Microsoft Windows{ Text ProcessingLATEX, HTML, Microsoft Office

2/5

Additional Computer Experience{ Plugin for Repairing Inconsistent DL-programs (C++) within dlvhex framework

https://github.com/hexhex/dlliteplugin

{ Participant at 3rd Angry Birds AI competition (http://www.aibirds.org),Prague, Czech Republic as a member of the AngryHEX teamRanked 7th out of 11 participants

{ Knowledge Base for Justified Information Security Decision-making based onISO 27002 (Information Security Standard) and UCISA Information SecurityToolkit (OWL Ontology Web Language, JOWL Java Script library for visualizingOWL-RDFS documents)

{ Developing a Computer Game (Turbo Pascal 7.0){ Developing a Web Master (Java Script){ Developing a tool for compressing Text Using Huffman’s Algorithm (Java){ Diploma Thesis project: Computer-aided Resolution of Unsatisfiabilities in On-tologies (Java)

Supervising Bachelor Theses{ Andreas Humenberger (graduated April, 2014): Implementing Paracoherent An-swer Set Semantics (cosupervised with Dr. Michael Fink)

Talks given at Conferences and WorkshopsTowards Practical Deletion Repair of Inconsistent DL-programs27th International Workshop on Description LogicsVienna, Austria, July, 2014Towards Practical Deletion Repair of Inconsistent DL-programs21st European Conference on Artificial IntelligencePrague, Czeck Republic, August, 2014Data Repair of Inconsistent DL-programs23rd Joint International Conference on Artificial IntelligenceBeijing, China, August, 2013Semantic Independence in DL-programs6th International Conference on Web Reasoning and Rule SystemsVienna, Austria, September, 2012A Knowledge Base for Justified Information Security Decision-making(progress report)Trust Economics WorkshopNewcastle-upon-Tyne, United Kingdom, December, 2008A Knowledge Base for Justified Information Security Decision-making4th International Conference on Software and Data Technologies

3/5

Sofia, Bulgaria, July, 2009

Demos and PostersInconsistenies in Hybrid Knowledge Bases (PhD Description)Poster presentation14th International Conference on Principles of Knowledge Representation andReasoningVienna, Austria, July, 2014Exploiting Support Sets for Answer Set Programs with External EvaluationsPoster presentation28th Conference on Artificial IntelligenceQuebec, Canada, July, 2014AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPoster presentation as a member of AngryHex teamAngry Birds AI competition (http://www.aibirds.org)Prague, Czeck Republic, August, 2014Data Repair of Inconsistent DL-programsPoster presentation23rd Joint International Conference on Artificial IntelligenceBeijing, China, August, 2013

Reviewing for Journals{ Journal of Web Semantics (JWS): 2014

Reviewing for Conferences and Workshops{ International Workshop on Nonmonotonic Reasoning (NMR): 2014{ International Workshop on Reactive Concepts in Knowledge Representation (RE-ACTKNOW): 2014

{ International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR): 2013

{ 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

{ Conference on Knowledge Engineering and Semantic Web (KESW): 2013

Program Committee Member{ Conference on Knowledge Engineering and Semantic Web (KESW): 2013, 2014

4/5

Volunteer Work in Organizing Conferences{ Vienna Summer of Logic (VSL 2014), Vienna, Austria, July, 9-24, 2014{ 25th International Conference on Computer-aided verification (CAV 2013), St.Petersburg, Russia, July, 13-19, 2013

{ 6th International Conference on Web Reasoning and Rule Systems, Vienna, Austria,September, 10-12, 2012

PublicationsThomas Eiter, Michael Fink, and Daria Stepanova. Computing repairs for inconsis-tent DL-programs over EL ontologies. In JELIA 2014, to appear.

Thomas Eiter, Michael Fink, and Daria Stepanova. Towards practical deletionrepair of inconsistent DL-programs. In Proceedings of 21st European Conferenceon Artificial Intelligence (ECAI 2014), 285-290, 2014.

Thomas Eiter, Michael Fink, Christoph Redl, and Daria Stepanova. Towardspractical deletion repair of inconsistent DL-programs. In Proceedings of the 27thInternational Workshop on Description Logics (DL workshop 2014), 169-180, 2014.

Thomas Eiter, Michael Fink, Christoph Redl, and Daria Stepanova. Exploitingsupport sets for answer set programs with external computations. In Proceedings of28th Conference on Artificial Intelligence (AAAI 2014), 1041-1048, 2014.

Daria Stepanova. Inconsistencies in hybrid knowledge bases. Proceedings of 14thDoctoral Consortium on Knowledge Represenation (DC of KR 2014), 2014.

Thomas Eiter, Michael Fink, and Daria Stepanova. Data repair of inconsistentDL-programs. Proceedings of 23rd International Joint Conference on ArtificialIntelligence (IJCAI 2013), 2013.

Thomas Eiter, Michael Fink, and Daria Stepanova. Inconsistency managementfor Description Logic Programs and beyond. Proceedings of 6th InternationalConference on Web Reasoning and Rule Systems (RR 2013), 1-3, 2013.

Thomas Eiter, Michael Fink, and Daria Stepanova. Semantic independence inDL-programs. Proceedings of 6th International Conference on Web Reasoning andRule Systems (RR 2012), 58-74, 2012.

Daria Stepanova, Simon E. Parkin, and Aad van Moorsel. A knowledge base forjustified information security decision-making. Proceedings of 4th InternationalConference on Software and Data Technologies (ICSOFT 2009), 326-331, 2009.

Additional InformationCandidate for Master of Sports (rhythmic gymnastics)According to the Unified Sports Classification System of Russian Federation

Interests: volleyball, table tennis, ultimate frisbee, biking.

5/5