A logic programming approach to knowledge-state planning, II: The DLV:::K::: system

Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. A logic programming approach to knowledge-state planning, II: The DLV:::K::: system. Artificial Intelligence, 144(1-2):157-211, 2003. [doi]

Abstract

Abstract is missing.