The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Daniele Magazzeni" ( http://dblp.L3S.de/Authors/Daniele_Magazzeni )

URL (Homepage):  https://nms.kcl.ac.uk/daniele.magazzeni/  Author page on DBLP  Author page in RDF  Community of Daniele Magazzeni in ASPL-2

Publication years (Num. hits)
2005-2011 (17) 2012-2015 (20) 2016 (16) 2017-2018 (21) 2019 (7)
Publication types (Num. hits)
article(33) book(1) inproceedings(44) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 82 publication records. Showing 81 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David Smith Towards Explainable AI Planning as a Service. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise An Introduction to the Planning Domain Definition Language Search on Bibsonomy 2019   DOI  RDF
1Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi Robustness Envelopes for Temporal Plans. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gerard Canal, Michael Cashmore, Senka Krivic, Guillem Alenyà, Daniele Magazzeni, Carme Torras Probabilistic Planning for Robotics with ROSPlan. Search on Bibsonomy TAROS (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski Temporal Planning as Refinement-Based Model Checking. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml Replanning for Situated Robots. Search on Bibsonomy ICAPS The full citation details ... 2019 DBLP  BibTeX  RDF
1Jörg Hoffmann, Daniele Magazzeni Explainable AI Planning (XAIP): Overview and the Case of Contrastive Explanation (Extended Abstract). Search on Bibsonomy Reasoning Web The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1J. Christopher Beck, Daniele Magazzeni, Gabriele Röger, Willem-Jan van Hoeve Planning and Operations Research (Dagstuhl Seminar 18071). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stefan Edelkamp, Morteza Lahijanian, Daniele Magazzeni, Erion Plaku Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows. Search on Bibsonomy IEEE Robotics and Automation Letters The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Viganò 0001, Daniele Magazzeni Explainable Security. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Rita Borgo, Michael Cashmore, Daniele Magazzeni Towards Providing Explanations for AI Planner Decisions. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder Opportunistic Planning in Autonomous Underwater Missions. Search on Bibsonomy IEEE Trans. Automation Science and Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni, Bram Ridder Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. Search on Bibsonomy IROS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml Situated Planning for Execution Under Temporal Constraints. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2018 DBLP  BibTeX  RDF
1Richard G. Freedman, Tathagata Chakraborti, Kartik Talamadupula, Daniele Magazzeni, Jeremy D. Frank User Interfaces and Scheduling and Planning: Workshop Summary and Proposed Challenges. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2018 DBLP  BibTeX  RDF
1Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml Temporal Planning while the Clock Ticks. Search on Bibsonomy ICAPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Malik Ghallab, Nick Hawes, Daniele Magazzeni, Brian C. Williams, Andrea Orlandini Planning and Robotics (Dagstuhl Seminar 17031). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice A formal framework to represent spatial knowledge. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniele Magazzeni, Peter McBurney, William Nash Validation and Verification of Smart Contracts: A Research Agenda. Search on Bibsonomy IEEE Computer The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maria Fox, Derek Long, Daniele Magazzeni Explainable Planning. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc CASP Solutions for Planning in Hybrid Domains. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily Leblanc CASP solutions for planning in hybrid domains. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio PDDL+ Planning with Temporal Pattern Databases. Search on Bibsonomy AAAI Workshops The full citation details ... 2017 DBLP  BibTeX  RDF
1Senka Krivic, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater Initial State Prediction in Planning. Search on Bibsonomy AAAI Workshops The full citation details ... 2017 DBLP  BibTeX  RDF
1Edith Langer, Bram Ridder, Michael Cashmore, Daniele Magazzeni, Michael Zillich, Markus Vincze On-the-fly detection of novel objects in indoor environments. Search on Bibsonomy ROBIO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Valerio Sanelli, Michael Cashmore, Daniele Magazzeni, Luca Iocchi Short-Term Human-Robot Interaction through Conditional Planning and Execution. Search on Bibsonomy ICAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák, Justus H. Piater Decreasing Uncertainty in Planning with State Prediction. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux Landmarks for Numeric Planning Problems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Narcís Palomeras, Arnau Carrera, Natàlia Hurtós, George C. Karras, Charalampos P. Bechlioulis, Michael Cashmore, Daniele Magazzeni, Derek Long, Maria Fox, Kostas J. Kyriakopoulos, Petar Kormushev, Joaquim Salvi, Marc Carreras Toward persistent autonomous intervention in a subsea panel. Search on Bibsonomy Auton. Robots The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina 6th Italian Workshop on Planning and Scheduling (IPS 2015). Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefano V. Albrecht, Bruno Bouchard 0001, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter 0001, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka, Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael J. Witbrock, Jie Zhang Reports of the 2016 AAAI Workshop Program. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Marcello Balduccini, Daniele Magazzeni, Marco Maratea PDDL+ Planning via Constraint Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice Extending visual information extraction to biomedical applications. Search on Bibsonomy Comput. Syst. Sci. Eng. The full citation details ... 2016 DBLP  BibTeX  RDF
1Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio Heuristic Planning for PDDL+ Domains. Search on Bibsonomy AAAI Workshop: Planning for Hybrid Systems The full citation details ... 2016 DBLP  BibTeX  RDF
1Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio Heuristic Planning for Hybrid Systems. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Daniele Magazzeni, Scott Sanner, Sylvie Thiébaux (eds.) Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. Search on Bibsonomy AAAI Workshop: Planning for Hybrid Systems The full citation details ... 2016 DBLP  BibTeX  RDF
1Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukás Chrpa, Thomas Leo McCluskey Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni A Compilation of the Full PDDL+ Language into SMT. Search on Bibsonomy AAAI Workshop: Planning for Hybrid Systems The full citation details ... 2016 DBLP  BibTeX  RDF
1Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni Planning Using Actions with Control Parameters. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris J. Dent Solving Realistic Unit Commitment Problems Using Temporal Planning: Challenges and Solutions. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni A Compilation of the Full PDDL+ Language into SMT. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Amanda Jane Coles, Andrew Coles, Stefan Edelkamp, Daniele Magazzeni, Scott Sanner (eds.) Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016. Search on Bibsonomy ICAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Wiktor Mateusz Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni, Fabio Mercorio Heuristic Planning for PDDL+ Domains. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Robert Morris, Blai Bonet, Marc Cavazza, Marie desJardins, Ariel Felner, Nick Hawes, Brad Knox, Sven Koenig, George Konidaris, Jérôme Lang, Carlos Linares López, Daniele Magazzeni, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh 0001, Sebastian Sardiña, Kiri Wagstaff A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. Search on Bibsonomy AI Magazine The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Natàlia Hurtós, Marc Carreras ROSPlan: Planning in the Robot Operating System. Search on Bibsonomy ICAPS The full citation details ... 2015 DBLP  BibTeX  RDF
1Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior. Search on Bibsonomy ICAPS The full citation details ... 2015 DBLP  BibTeX  RDF
1Lukás Chrpa, Daniele Magazzeni, Keith McCabe, Thomas Leo McCluskey, Mauro Vallati Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations. Search on Bibsonomy IPS@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina (eds.) Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 22, 2015. Search on Bibsonomy IPS@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Daniele Magazzeni, Frédéric Py, Maria Fox, Derek Long, Kanna Rajan Policy learning for autonomous feature tracking. Search on Bibsonomy Auton. Robots The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku Automated Planning and Model Checking (Dagstuhl Seminar 14482). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gabriella Cortellessa, Alfonso Emilio Gerevini, Daniele Magazzeni, Ivan Serina Automated planning and scheduling. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maria Fox, Derek Long, Daniele Magazzeni Plan-based Policies for Efficient Multiple Battery Load Management. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni AUV mission control via temporal planning. Search on Bibsonomy ICRA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle Planning as Model Checking in Hybrid Domains. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Search on Bibsonomy Eur. J. Control The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice A general theory of spatial relations to support a graphical tool for visual information extraction. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Sergio Orefice, Benedetto Intrigila, Daniele Magazzeni, Roberto del Sordo, Giuseppe Cardinale Ciccotti Sybel: a System Modelling Language Enhancing Automatic Support in the Software Development Process. Search on Bibsonomy International Journal of Software Engineering and Knowledge Engineering The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Joshua Campion, Chris J. Dent, Maria Fox, Derek Long, Daniele Magazzeni Challenge: Modelling Unit Commitment as a Planning Problem. Search on Bibsonomy ICAPS The full citation details ... 2013 DBLP  BibTeX  RDF
1Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice A spatial relation-based framework to perform visual information extraction. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maria Fox, Derek Long, Daniele Magazzeni Plan-based Policies for Efficient Multiple Battery Load Management. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio A universal planning system for hybrid domains. Search on Bibsonomy Appl. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Maria Fox, Derek Long, Daniele Magazzeni Plan-Based Policy-Learning for Autonomous Feature Tracking. Search on Bibsonomy ICAPS The full citation details ... 2012 DBLP  BibTeX  RDF
1Daniele Magazzeni A framework for the automatic synthesis of hybrid fuzzy/numerical controllers. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Sergio Orefice, Daniele Magazzeni Supporting Visual Information Extraction from Geospatial Data. Search on Bibsonomy DMS The full citation details ... 2011 DBLP  BibTeX  RDF
1Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci Cost-optimal Strong Planning in Non-deterministic Domains. Search on Bibsonomy ICINCO (1) The full citation details ... 2011 DBLP  BibTeX  RDF
1Maria Fox, Derek Long, Daniele Magazzeni Automatic Construction of Efficient Multiple Battery Usage Policies. Search on Bibsonomy ICAPS The full citation details ... 2011 DBLP  BibTeX  RDF
1Maria Fox, Derek Long, Daniele Magazzeni Automatic Construction of Efficient Multiple Battery Usage Policies. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio Resource-Optimal Planning For An Autonomous Planetary Vehicle Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice Visual extraction of information from web pages. Search on Bibsonomy J. Vis. Lang. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio A PDDL+ Benchmark Problem: The Batch Chemical Plant. Search on Bibsonomy ICAPS The full citation details ... 2010 DBLP  BibTeX  RDF
1Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Fabio Mercorio Planning for Autonomous Planetary Vehicles. Search on Bibsonomy ICAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni Evaluating Fuzzy Controller Robustness Using Model Checking. Search on Bibsonomy WILF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio, Benedetto Intrigila UPMurphi: A Tool for Universal Planning on PDDL+ Problems. Search on Bibsonomy ICAPS The full citation details ... 2009 DBLP  BibTeX  RDF
1Daniele Magazzeni Automatic Generation of Hybrid Fuzzy/Numerical Controllers. Search on Bibsonomy CIMCA/IAWTIC/ISE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maurizio Talamo, Franco Arcieri, Giuseppe Della Penna, Andrea Dimitri, Benedetto Intrigila, Daniele Magazzeni Verifying Extended Criteria for the Interoperability of Security Devices. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Nadia Lauri, Daniele Magazzeni, Benedetto Intrigila OBDD Compression of Numerical Controllers. Search on Bibsonomy ICINCO-ICSO The full citation details ... 2008 DBLP  BibTeX  RDF
1Giuseppe Della Penna, Francesca Fallucchi, Benedetto Intrigila, Daniele Magazzeni A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers. Search on Bibsonomy AI*IA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci Automatic generation of optimal controllers through model checking techniques. Search on Bibsonomy ICINCO-ICSO The full citation details ... 2006 DBLP  BibTeX  RDF
1Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci A Model Checking Technique for the Verification of Fuzzy Control Systems. Search on Bibsonomy CIMCA/IAWTIC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #81 of 81 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license