A Logical Semantics for PDDL +

von Batusov, Vitaliy
Veröffentlicht in International Conference on Automated Planning and Scheduling (29. : 2019 : Berkeley, Calif.) Proceedings of the Twenty-ninth International Conference on Automated Planning and Scheduling (2019)

Necessary and Sufficient Conditions for Actual Root Causes

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