Now showing items 1-1 of 1

    • HTN Planning in Answer Set Programming 

      Dix, Jürgen; Kuter, Ugur; Nau, Dana (UMIACS, University of Maryland, 2002-05-22)
      In this paper we introduce a formalism for solving Hierarchical Task NEtwork (HTN) Planning using Answer Set Programming (ASP). The ASP paradigm evolved out of the stable semantics for logic programs in recent years and ...