A Proof System for Unsolvable Planning Tasks

Bibliographische Detailangaben

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
1. Verfasser:	Eriksson, Salome€ (VerfasserIn)
Weitere Verfasser:	Röger, Gabriele (VerfasserIn), Helmert, Malte (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2018
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!