A Modular Framework for Knowledge-Based Servoing: Plugging Symbolic Theories into Robotic Controllers. - Malte Huerkamp; Kaviya Dhanabalachandran; Mihai Pomarlan; Simon Stelter; Michael Beetz (ICAART (1), 2025)