Daniele Magazzeni: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Automated Planning for Robotics

Karpas, Erez, Magazzeni, Daniele

Journal:

Annual Review of Control, Robotics, and Autonomous Systems

Year:

2020

Language:

english

File:

PDF, 303 KB

english, 2020

2

A spatial relation-based framework to perform visual information extraction

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice

Journal:

Knowledge and Information Systems

Year:

2012

Language:

english

File:

PDF, 1.83 MB

english, 2012

3

A general theory of spatial relations to support a graphical tool for visual information extraction

Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Journal:

Journal of Visual Languages & Computing

Year:

2013

Language:

english

File:

PDF, 3.22 MB

english, 2013

4

A framework for the automatic synthesis of hybrid fuzzy/numerical controllers

Daniele Magazzeni

Journal:

Applied Soft Computing

Year:

2011

Language:

english

File:

PDF, 1.42 MB

english, 2011

5

A universal planning system for hybrid domains

Giuseppe Della Penna, Daniele Magazzeni, Fabio Mercorio

Journal:

Applied Intelligence

Year:

2012

Language:

english

File:

PDF, 1.39 MB

english, 2012

6

Visual extraction of information from web pages

Giuseppe Della Penna, Daniele Magazzeni, Sergio Orefice

Journal:

Journal of Visual Languages & Computing

Year:

2010

Language:

english

File:

PDF, 672 KB

english, 2010

7

Policy learning for autonomous feature tracking

Magazzeni, Daniele, Py, Frédéric, Fox, Maria, Long, Derek, Rajan, Kanna

Journal:

Autonomous Robots

Year:

2014

Language:

english

File:

PDF, 2.44 MB

english, 2014

8

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems

Della Penna, Giuseppe, Intrigila, Benedetto, Magazzeni, Daniele, Melatti, Igor, Tronci, Enrico

Journal:

European Journal of Control

Year:

2013

Language:

english

File:

PDF, 2.32 MB

english, 2013

9

[IEEE 2010 Sixth International Conference on Autonomic and Autonomous Systems (ICAS) - Cancun, Mexico (2010.03.7-2010.03.13)] 2010 Sixth International Conference on Autonomic and Autonomous Systems - Planning for Autonomous Planetary Vehicles

Della Penna, Giuseppe, Intrigila, Benedetto, Magazzeni, Daniele, Mercorio, Fabio

Year:

2010

Language:

english

File:

PDF, 1.71 MB

english, 2010

10

[IEEE Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Athens, Greece (2007.6.19-2007.6.25)] Third International Conference on Autonomic and Autonomous Systems (ICAS'07) - Automatic Synthesis of Robust Numerical Controllers

Penna, Giuseppe Della, Magazzeni, Daniele, Tofani, Alberto, Intrigila, Benedetto, Melatti, Igor, Tronci, Enrico

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

11

[IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Vienna, Austria (2008.12.10-2008.12.12)] 2008 International Conference on Computational Intelligence for Modelling Control & Automation - Automatic Generation of Hybrid Fuzzy/Numerical Controllers

Magazzeni, Daniele

Year:

2008

Language:

english

File:

PDF, 197 KB

english, 2008

12

[IEEE 2014 IEEE International Conference on Robotics and Automation (ICRA) - Hong Kong, China (2014.5.31-2014.6.7)] 2014 IEEE International Conference on Robotics and Automation (ICRA) - AUV mission control via temporal planning

Cashmore, Michael, Fox, Maria, Larkworthy, Tom, Long, Derek, Magazzeni, Daniele

Year:

2014

Language:

english

File:

PDF, 1.76 MB

english, 2014

13

SyBeL: A SYSTEM MODELLING LANGUAGE ENHANCING AUTOMATIC SUPPORT IN THE SOFTWARE DEVELOPMENT PROCESS

PENNA, GIUSEPPE DELLA, OREFICE, SERGIO, INTRIGILA, BENEDETTO, MAGAZZENI, DANIELE, SORDO, ROBERTO DEL, CICCOTTI, GIUSEPPE CARDINALE

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2013

Language:

english

File:

PDF, 5.61 MB

english, 2013

14

Toward persistent autonomous intervention in a subsea panel

Palomeras, Narcís, Carrera, Arnau, Hurtós, Natàlia, Karras, George C., Bechlioulis, Charalampos P., Cashmore, Michael, Magazzeni, Daniele, Long, Derek, Fox, Maria, Kyriakopoulos, Kostas J., Kormushev,

Journal:

Autonomous Robots

Year:

2015

Language:

english

File:

PDF, 4.38 MB

english, 2015

15

Artificial Intelligence Planning for AUV Mission Control

Cashmore, Michael, Fox, Maria, Long, Derek, Magazzeni, Daniele, Ridder, Bram

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 638 KB

english, 2015

16

[IEEE OCEANS 2014 - St. John's, NL (2014.9.14-2014.9.19)] 2014 Oceans - St. John's - On AUV actions to correctly label world information

Maurelli, Francesco, Saigol, Zeyn, Lane, David, Cashmore, Michael, Ridder, Bram, Magazzeni, Daniele

Year:

2014

Language:

english

File:

PDF, 947 KB

english, 2014

17

Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains

Penna, Giuseppe Della, Intrigila, Bedenetto, Magazzeni, Daniele, Mercorio, Fabio

Journal:

International Journal of Artificial Intelligence Tools

Year:

2015

Language:

english

File:

PDF, 963 KB

english, 2015

18

A formal framework to represent spatial knowledge

Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Journal:

Knowledge and Information Systems

Year:

2016

Language:

english

File:

PDF, 2.52 MB

english, 2016

19

Opportunistic Planning in Autonomous Underwater Missions

Cashmore, Michael, Fox, Maria, Long, Derek, Magazzeni, Daniele, Ridder, Bram

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2017

Language:

english

File:

PDF, 2.79 MB

english, 2017

20

CASP solutions for planning in hybrid domains

BALDUCCINI, MARCELLO, MAGAZZENI, DANIELE, MARATEA, MARCO, LEBLANC, EMILY C.

Journal:

Theory and Practice of Logic Programming

Year:

2017

Language:

english

File:

PDF, 804 KB

english, 2017

21

Leveraging constraint-based approaches for multi-objective flexible flow-shop scheduling with energy costs

Oddi, Angelo, Rasconi, Riccardo, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 932 KB

english, 2016

22

Validation and Verification of Smart Contracts: A Research Agenda

Magazzeni, Daniele, McBurney, Peter, Nash, William

Journal:

Year:

2017

Language:

english

File:

PDF, 576 KB

english, 2017

23

On the use of landmarks in planner LPG

Benzi, Francesco, Gerevini, Alfonso Emilio, Saetti, Alessandro, Serina, Ivan, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 1.72 MB

english, 2016

24

[IEEE 2017 IEEE International Conference on Robotics and Biomimetics (ROBIO) - Macau (2017.12.5-2017.12.8)] 2017 IEEE International Conference on Robotics and Biomimetics (ROBIO) - On-the-fly detection of novel objects in indoor environments

Langer, Edith, Ridder, Bram, Cashmore, Michael, Magazzeni, Daniele, Zillich, Michael, Vincze, Markus

Year:

2017

Language:

english

File:

PDF, 2.07 MB

english, 2017

25

Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multigoal Problems With Dynamics and Time Windows

Edelkamp, Stefan, Lahijanian, Morteza, Magazzeni, Daniele, Plaku, Erion

Journal:

IEEE Robotics and Automation Letters

Year:

2018

Language:

english

File:

PDF, 775 KB

english, 2018

26

A discrete differential evolution algorithm for multi-objective permutation flowshop scheduling

Baioletti, Marco, Milani, Alfredo, Santucci, Valentino, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 666 KB

english, 2016

27

Investigating domain independent heuristics in a timeline-based planner

De Benedictis, Riccardo, Cesta, Amedeo, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 884 KB

english, 2016

28

6th Italian Workshop on Planning and Scheduling (IPS 2015)

Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 41 KB

english, 2016

29

Automated planning for Urban traffic control: Strategic vehicle routing to respect air quality limitations

Chrpa, Lukáš, Magazzeni, Daniele, McCabe, Keith, McCluskey, Thomas L., Vallati, Mauro, Cortellessa, Gabriella, Magazzeni, Daniele, Maratea, Marco, Serina, Ivan

Journal:

Intelligenza Artificiale

Year:

2016

Language:

english

File:

PDF, 922 KB

english, 2016

30

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence

Morris, Robert, Bonet, Blai, Cavazza, Marc, DesJardins, Marie, Felner, Ariel, Hawes, Nick, Knox, Brad, Koenig, Sven, Konidaris, George, Lang, Jérôme, Linares López, Carlos, Magazzeni, Daniele, McGover

Journal:

Year:

2015

Language:

english

File:

PDF, 423 KB

english, 2015

31

[IEEE 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Madrid (2018.10.1-2018.10.5)] 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons

Buksz, Dorian, Cashmore, Michael, Krarup, Benjamin, Magazzeni, Daniele, Ridder, Bram

Year:

2018

Language:

english

File:

PDF, 2.13 MB

english, 2018

32

Automated Planning for Robotics

Karpas, Erez, Magazzeni, Daniele

Journal:

Annual Review of Control, Robotics, and Autonomous Systems

Year:

2020

File:

PDF, 303 KB

2020

33

Robustness Envelopes for Temporal Plans

Cashmore, Michael, Cimatti, Alessandro, Magazzeni, Daniele, Micheli, Andrea, Zehtabi, Parisa

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2019

File:

PDF, 2.18 MB

2019

34

Let's Learn Their Language? A Case for Planning with Automata-Network Languages from Model Checking

Hoffmann, Jorg, Hermanns, Holger, Klauck, Michaela, Steinmetz, Marcel, Karpas, Erez, Magazzeni, Daniele

Journal:

Proceedings of the AAAI Conference on Artificial Intelligence

Year:

2020

File:

PDF, 474 KB

2020