Stawowy, Michele (2016) Plan Synthesis in Explicit-Input Knowledge and Action Bases. Advisor: Calvanese, Prof. Diego. pp. 135. [IMT PhD Thesis]