Daniele Magazzeni
Daniele Magazzeni
Reader in Artificial Intelligence, King's College London
Verified email at kcl.ac.uk - Homepage
Title
Cited by
Cited by
Year
Rosplan: Planning in the robot operating system
M Cashmore, M Fox, D Long, D Magazzeni, B Ridder, A Carrera, ...
Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
1362015
UPMurphi: a tool for universal planning on PDDL+ problems
G Della Penna, D Magazzeni, F Mercorio, B Intrigila
Nineteenth International Conference on Automated Planning and Scheduling, 2009
1172009
Explainable planning
M Fox, D Long, D Magazzeni
arXiv preprint arXiv:1709.10256, 2017
1012017
Validation and verification of smart contracts: A research agenda
D Magazzeni, P McBurney, W Nash
Computer 50 (9), 50-57, 2017
742017
A compilation of the full PDDL+ language into SMT
M Cashmore, M Fox, D Long, D Magazzeni
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
592016
AUV mission control via temporal planning
M Cashmore, M Fox, T Larkworthy, D Long, D Magazzeni
2014 IEEE international conference on robotics and automation (ICRA), 6535-6541, 2014
502014
Automatic construction of efficient multiple battery usage policies
M Fox, D Long, D Magazzeni
Twenty-First International Conference on Automated Planning and Scheduling, 2011
472011
Heuristic planning for PDDL+ domains
WM Piotrowski, M Fox, D Long, D Magazzeni, F Mercorio
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
422016
Efficient macroscopic urban traffic models for reducing congestion: a PDDL+ planning approach
M Vallati, D Magazzeni, B De Schutter, L Chrpa, TL McCluskey
Thirtieth AAAI Conference on Artificial Intelligence, 2016
422016
A universal planning system for hybrid domains
G Della Penna, D Magazzeni, F Mercorio
Applied intelligence 36 (4), 932-959, 2012
412012
Planning as model checking in hybrid domains
S Bogomolov, D Magazzeni, A Podelski, M Wehrle
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
402014
A comparison study of cluster validity indices using a nonhierarchical clustering algorithm
Y Shim, J Chung, IC Choi
International Conference on Computational Intelligence for Modelling …, 2005
402005
Toward persistent autonomous intervention in a subsea panel
N Palomeras, A Carrera, N Hurtós, GC Karras, CP Bechlioulis, ...
Autonomous Robots 40 (7), 1279-1306, 2016
332016
A compositional framework for grounding language inference, generation, and acquisition in video
H Yu, N Siddharth, A Barbu, JM Siskind
Journal of Artificial Intelligence Research 52, 601-713, 2015
332015
Plan-based policies for efficient multiple battery load management
M Fox, D Long, D Magazzeni
Journal of Artificial Intelligence Research 44, 335-382, 2012
322012
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S Bogomolov, D Magazzeni, S Minopoli, M Wehrle
Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
272015
Visual extraction of information from web pages
G Della Penna, D Magazzeni, S Orefice
Journal of Visual Languages & Computing 21 (1), 23-32, 2010
252010
Plan-based policy-learning for autonomous feature tracking
M Fox, D Long, D Magazzeni
Twenty-Second International Conference on Automated Planning and Scheduling, 2012
242012
A PDDL+ benchmark problem: The batch chemical plant
G Della Penna, B Intrigila, D Magazzeni, F Mercorio
Twentieth International Conference on Automated Planning and Scheduling, 2010
182010
Automated generation of optimal controllers through model checking techniques
G Della Penna, D Magazzeni, A Tofani, B Intrigila, I Melatti, E Tronci
Informatics in Control Automation and Robotics, 107-119, 2008
152008
The system can't perform the operation now. Try again later.
Articles 1–20