News
- 3 September 2026
I presented our paper Decidable Reasoning about Time in Finite-Domain Situation Calculus Theories (with Stefan Schupp and Gerhard Lakemeyer) at the 33rd International Symposium on Temporal Representation and Reasoning (TIME) (paper, slides).
- 1 September 2026
I joined the University of Oxford as a postdoctoral research associate, working with Giuseppe De Giacomo.
- 24 July 2026
I presented our paper Abstraction via Skolemization for Generalized Planning (and Beyond) (with Dillon Z. Chen, Toryn Q. Klassen, and Sheila A. McIlraith) at the KR Workshop on Theory and Methods for Abstraction (THEMA).
- 6 July 2026
Daniel Swoboda presented our paper WorkBenchMark: A LEGO-based Assembly Benchmark with an Assembly-by-Disassembly Baseline for the Smart Manufacturing League (with Wenbo Ma and Matteo Tschesche) at the RoboCup 2026 Symposium in Incheon, South Korea (project page).
- 28 June 2026
I presented three of our papers at the ICAPS Workshop on Generalization in Planning (GenPlan) in Dublin:
- Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning (with Dillon Z. Chen, Toryn Q. Klassen, and Sheila A. McIlraith),
- Abstraction via Skolemization for Generalized Planning (with Dillon Z. Chen, Toryn Q. Klassen, and Sheila A. McIlraith), and
- Learning General Policies for Partially Observable Deterministic Planning (with Samridhi Kalra and Hector Geffner).
- 23 January 2026
Dillon Z. Chen presented our paper Satisficing and Optimal Generalised Planning via Goal Regression (with Toryn Q. Klassen and Sheila A. McIlraith) at AAAI 2026 in Singapore (proceedings, presentation).