GENERALIZED TEMPORAL INFERENCE VIA PLANNING

von Aineto, Diego
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (18. : 2021 : Online) 18th International Conference Principles of Knowledge Representation and Reasoning (KR2021) (2022)

Learning STRIPS Action Models with Classical Planning

von Aineto, Diego
Veröffentlicht in International Conference on Automated Planning and Scheduling (28. : 2018 : Delft) Proceedings of the Twenty-eighth International Conference on Automated Planning and Scheduling (2018)

Observation Decoding with Sensor Models: Recognition Tasks via Classical Planning

von Aineto, Diego
Veröffentlicht in ICAPS Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling (2020)

Falsification of Cyber-Physical Systems Using PDDL+ Planning

von Aineto, Diego
Veröffentlicht in International Conference on Automated Planning and Scheduling (33. : 2023 : Prag) Thirty-third International Conference on Automated Planning and Scheduling (ICAPS 2023) (2023)

Model Recognition as Planning

von Aineto, Diego
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)