Lilotane: A Lifted SAT-based Approach to Hierarchical Planning

One of the oldest and most popular approaches to automated planning is to encode the problem at hand into a propositional formula and use a Satisfiability (SAT) solver to find a solution. In all established SAT-based approaches for Hierarchical Task Network (HTN) planning, grounding the problem is n...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of artificial intelligence research 2021-03, Vol.70, p.1117-1181
1. Verfasser:	Schreiber, Dominik
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial intelligence Combinatorial analysis Empirical analysis Planning
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!