Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking

von Luo, Kailun
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

Agent Abstraction via Forgetting in the Situation Calculus

von Luo, Kailun
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 2 (2020)