Automated Planning
287 directly classified papers
Papers per year
Papers
Rational Revision of Group Intentions
AAAI 2026
LTLf Synthesis Under Unreliable Input
AAAI 2025
Counting and Reasoning with Plans
AAAI 2025