Enhancing Urban Air Mobility Scheduling Through Declarative Reasoning and Stakeholder Modeling - Kim Jeongseok (Aerospace, 2025)