SIMONE FRATINI
- Type
- Persona (Classe)
- Label
- SIMONE FRATINI (literal)
- SIMONE FRATINI (literal)
- Http://www.w3.org/2002/07/owl#sameAs
- SIMONE FRATINI (Unità di personale esterno)
- Partecipa a commessa
- Partecipazione a Commessa "Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling" (SP.P01.007) di DOTT. SIMONE FRATINI nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Pianificazione di interventi in situazioni di emergenza: strumenti software e robotici" (INT.P01.003) di DOTT. SIMONE FRATINI nell'anno 2008 (Partecipazione a commessa)
- Persona in rapporto
- Employment relationship with CNR of DOTT. SIMONE FRATINI (Rapporto con CNR)
- Autore CNR di
- Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno) (Prodotto della ricerca)
- APSI Case#1: Pre-planning Science Operations in Mars Express (Contributo in atti di convegno) (Prodotto della ricerca)
- APSI Timeline-based Representation Framework (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- The RAXEM Tool on Mars Express - Uplink Planning Optimisation and Scheduling Using AI Constraint Resolution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validation and Verification Issues in a Timeline-based Planning System (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- RAXEM - Supporting Command Uplink in Mars Express (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- MrSPOCK: Generating a Planning System through a Timeline Representation Framework (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TGA-Based Controllers for Flexible Plan Execution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Planning and Scheduling Service for the ULISSE Platform (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Planning with Multiple-Components in OMPS (Articolo in rivista) (Prodotto della ricerca)
- Unifying Planning and Scheduling as Timelines in a Component-Based Perspective (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The Third Competition on Knowledge Engineering for Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Optical properties of lattice/magnetic small polarons from DMFT (Articolo in rivista) (Prodotto della ricerca)
- Mexar2 [Version 4.2]: A software for daily support of space mission planning (Software) (Prodotto della ricerca)
- Analyzing Flexible Timeline-based Plans (Contributo in atti di convegno) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Contributo in atti di convegno) (Prodotto della ricerca)
- How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (Contributo in atti di convegno) (Prodotto della ricerca)
- User interaction with an AI tool: The RAXEM experience (Contributo in atti di convegno) (Prodotto della ricerca)
- The Timeline Representation Framework as a Planning and Scheduling Software Development Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- Science Operations Pre-Planning & Optimization using AI constraint-resolution - the APSI Case Study 1 (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Merging Planning, Scheduling & Verification - A Preliminary Analysis. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validation and Verification Issues in a Timeline-Based Planning System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Looking for MrSPOCK: Issues in Deploying a Space Application (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- MrSPOCK: Steps in Developing an End-to-End Space Application (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Coautore
- RICCARDO RASCONI (Unità di personale interno)
- AMEDEO CESTA (Unità di personale interno)
- GABRIELLA CORTELLESSA (Unità di personale interno)
- FEDERICO PECORA (Persona)
- ANDREA ORLANDINI (Persona)
- SERGIO ciuchi (Persona)
- ANDREA ORLANDINI (Unità di personale esterno)
- GIULIO BERNARDI (Persona)
- ANGELO ODDI (Persona)
- ANDREA ORLANDINI (Persona)
- EMMANUELE CAPPELLUTI (Unità di personale interno)
- Nome
- SIMONE (literal)
- Cognome
- FRATINI (literal)
- Afferisce a
- Ha pubblicazioni con
- AMEDEO CESTA (Unità di personale interno)
- FEDERICO PECORA (Persona)
- ANGELO ODDI (Persona)
- GABRIELLA CORTELLESSA (Unità di personale interno)
Incoming links:
- Autore CNR
- Looking for MrSPOCK: Issues in Deploying a Space Application (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The RAXEM Tool on Mars Express - Uplink Planning Optimisation and Scheduling Using AI Constraint Resolution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- MrSPOCK: Generating a Planning System through a Timeline Representation Framework (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Validation and Verification Issues in a Timeline-based Planning System (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- RAXEM - Supporting Command Uplink in Mars Express (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- APSI Case#1: Pre-planning Science Operations in Mars Express (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno) (Prodotto della ricerca)
- Validation and Verification Issues in a Timeline-Based Planning System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The Third Competition on Knowledge Engineering for Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Planning with Multiple-Components in OMPS (Articolo in rivista) (Prodotto della ricerca)
- Unifying Planning and Scheduling as Timelines in a Component-Based Perspective (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Science Operations Pre-Planning & Optimization using AI constraint-resolution - the APSI Case Study 1 (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Merging Planning, Scheduling & Verification - A Preliminary Analysis. (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- User interaction with an AI tool: The RAXEM experience (Contributo in atti di convegno) (Prodotto della ricerca)
- The Timeline Representation Framework as a Planning and Scheduling Software Development Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- Analyzing Flexible Timeline-based Plans (Contributo in atti di convegno) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Contributo in atti di convegno) (Prodotto della ricerca)
- How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (Contributo in atti di convegno) (Prodotto della ricerca)
- APSI Timeline-based Representation Framework (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Optical properties of lattice/magnetic small polarons from DMFT (Articolo in rivista) (Prodotto della ricerca)
- Mexar2 [Version 4.2]: A software for daily support of space mission planning (Software) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- MrSPOCK: Steps in Developing an End-to-End Space Application (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Planning and Scheduling Service for the ULISSE Platform (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- TGA-Based Controllers for Flexible Plan Execution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coautore
- AMEDEO CESTA (Unità di personale interno)
- EMMANUELE CAPPELLUTI (Unità di personale interno)
- ANGELO ODDI (Persona)
- RICCARDO RASCONI (Unità di personale interno)
- GABRIELLA CORTELLESSA (Unità di personale interno)
- SERGIO ciuchi (Persona)
- FEDERICO PECORA (Persona)
- ANDREA ORLANDINI (Persona)
- ANDREA ORLANDINI (Unità di personale esterno)
- GIULIO BERNARDI (Persona)
- ANDREA ORLANDINI (Persona)
- Ha pubblicazioni con
- AMEDEO CESTA (Unità di personale interno)
- ANGELO ODDI (Persona)
- GABRIELLA CORTELLESSA (Unità di personale interno)
- FEDERICO PECORA (Persona)
- Ha afferente
- Partecipazione di
- Partecipazione a Commessa "Simulazione di processi produttivi tramite tecniche a vincoli, pianificazione e scheduling" (SP.P01.007) di DOTT. SIMONE FRATINI nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Pianificazione di interventi in situazioni di emergenza: strumenti software e robotici" (INT.P01.003) di DOTT. SIMONE FRATINI nell'anno 2008 (Partecipazione a commessa)
- Rapporto con persona
- Employment relationship with CNR of DOTT. SIMONE FRATINI (Rapporto con CNR)