Daniele Magazzeni

Filter

2019
An Introduction to the Planning Domain Definition Language
Haslum, P., Lipovetzky, N., Magazzeni, D. & Muise, C., 1 Jan 2019, Synthesis Lectures on Artificial Intelligence and Machine Learning: Lecture #40. 2 ed. Morgan and Claypool Publishers, p. 1-169 169 p. (Synthesis Lectures on Artificial Intelligence and Machine Learning; vol. 13, no. 2).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
73 Citations (Scopus)
2015
Automated Planning and Model Checking (Dagstuhl Seminar 14482)
Cimatti, A., Edelkamp, S., Fox, M., Magazzeni, D. & Plaku, E., 1 Nov 2015, Dagstuhl Reports. 11 ed. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Vol. 4.
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Open Access
File
120 Downloads (Pure)

Research output