Daria Stepanova

Daria Stepanova is a researcher at the Institute of Information Systems, Technische Universität Wien. Her work focuses on Answer-Set Programming (ASP), inconsistency resolution in hybrid knowledge bases, and optimization algorithms for scheduling and scene generation.

• Education: PhD (Dr.techn.) in Technical Sciences, MSc in Computer Science.

Research Interests:

• Answer-Set Programming for scheduling and optimization
• Inconsistency handling in Description Logic Programs
• Hybrid reasoning systems combining logic and semantic methods
• Applications of automated reasoning in manufacturing and gaming

Publications highlight trends in ASP-driven scheduling, inconsistency repair techniques, and semantic scene generation using contextual reasoning and algebraic measures.

Labs & Teams:

• Active member of the Network Lab at TU Wien
• Collaborator on projects like ALASPO and Angry-HEX