The DLV$^{a̧l K}$ System for Planning with Incomplete Knowledge. Polleres, A. Thesis, Institut für Informationssysteme, Technische Universität Wien, Wien, Österreich, February, 2001.
The DLV$^{a̧l K}$ System for Planning with Incomplete Knowledge [pdf]Paper  bibtex   

Downloads: 0