Tianyi Fu, Brian Jauw, Mohan Sridharan: Combining LLM, Non-Monotonic Logical Reasoning, and Human-In-the-loop Feedback in an Assistive AI Agent. RO-MAN 2025: 322-329