About
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
0Publications listed
Find Daria Stepanova elsewhere
Related Searches
You Might Also Like
Thomas EiterVienna University of Technology · Professor
Johannes OetschVienna University of Technology · Researcher- PPeter SchüllerVienna University of Technology · Professor
- TThomas EiterVienna University of Technology · Professor
- MMatthias PrandtstetterVienna University of Technology · Lecturer
- WWolfgang FaberVienna University of Technology · Researcher