RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
Composition of Stochastic Services for LTLf Goal Specifications
2024 DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata
2021 DE GIACOMO, Giuseppe; Favorito, Marco
Compositional Safety LTL Synthesis
2023 Bansal, Suguman; De Giacomo, Giuseppe; Di Stasio, Antonio; Li, Yong; Vardi, Moshe Y.; Zhu, Shufang
Computing infinite plans for LTL goals using a classical planner
2011 Patrizi, Fabio; Lipovetzky, Nir; DE GIACOMO, Giuseppe; Hector, Geffner
Computing Trace Alignment against Declarative Process Models through Planning
2016 DE GIACOMO, Giuseppe; Marrella, Andrea; Maggi, Fabrizio M.; Sardina, Sebastian
Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Conceptual Data Model with Structured Objects for Statistical Databases
1996 DE GIACOMO, Giuseppe; Paolo, Naggar
Conjunctive artifact-centric services
2010 Piero, Cangialosi; DE MASELLIS, Riccardo; DE GIACOMO, Giuseppe; Rosati, Riccardo
Containment of Conjunctive Regular Path Queries with Inverse
2000 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi
Data Complexity of Query Answering in Description Logics
2015 Calvanese, Diego; DE GIACOMO, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Composition of Stochastic Services for LTLf Goal Specifications | 2024 | DE GIACOMO, Giuseppe; Favorito, Marco; Silo, Luciana | |
Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata | 2021 | DE GIACOMO, Giuseppe; Favorito, Marco | |
Compositional Safety LTL Synthesis | 2023 | Bansal, Suguman; De Giacomo, Giuseppe; Di Stasio, Antonio; Li, Yong; Vardi, Moshe Y.; Zhu, Shufang | |
Computing infinite plans for LTL goals using a classical planner | 2011 | Patrizi, Fabio; Lipovetzky, Nir; DE GIACOMO, Giuseppe; Hector, Geffner | |
Computing Trace Alignment against Declarative Process Models through Planning | 2016 | DE GIACOMO, Giuseppe; Marrella, Andrea; Maggi, Fabrizio M.; Sardina, Sebastian | |
Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus | 1994 | DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
Conceptual Data Model with Structured Objects for Statistical Databases | 1996 | DE GIACOMO, Giuseppe; Paolo, Naggar | |
Conjunctive artifact-centric services | 2010 | Piero, Cangialosi; DE MASELLIS, Riccardo; DE GIACOMO, Giuseppe; Rosati, Riccardo | |
Containment of Conjunctive Regular Path Queries with Inverse | 2000 | Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi | |
Data Complexity of Query Answering in Description Logics | 2015 | Calvanese, Diego; DE GIACOMO, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Opzioni
Scopri
Tipologia
- 04 Pubblicazione in atti di convegno 253
- 04 Pubblicazione in atti di convegno::04b Atto di convegno in volume 214
- 04 Pubblicazione in atti di convegno::04a Atto di comunicazione a congresso 24
- 04 Pubblicazione in atti di convegno::04c Atto di convegno in rivista 12
- 04 Pubblicazione in atti di convegno::04d Abstract in atti di convegno 2
- 04 Pubblicazione in atti di convegno::04f Poster 1
Data di pubblicazione
- 2020 - 2024 44
- 2010 - 2019 90
- 2000 - 2009 89
- 1992 - 1999 30
Editore
- AAAI Press 37
- Springer 19
- ACM 9
- International Joint Conferences on Artificial Intelligence 9
- Springer Verlag 8
- AAAI press 7
- Springer-Verlag 7
- ACM Press 6
- CEUR-WS 6
- Springer Berlin Heidelberg 6
Prodotti per rivista
- IJCAI 10
- CEUR WORKSHOP PROCEEDINGS 2
- LECTURE NOTES IN COMPUTER SCIENCE 1
Prodotti per serie
- LECTURE NOTES IN COMPUTER SCIENCE 21
- CEUR WORKSHOP PROCEEDINGS 19
- PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS 4
- FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 3
- IJCAI 3
- PROCEEDINGS OF THE ... INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING 3
- PROCEEDINGS-INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING 3
- LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 2
- PROCEEDINGS OF THE ... AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE 2
- PROCEEDINGS OF THE ... INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING 2
Prodotti per parola chiave
- Artificial Intelligence 26
- Knowledge Representation 12
- Reasoning about Actions 9
- Artificial intelligence 6
- Computer Science (all) 6
- Software 6
- Description Logics 5
- Theoretical Computer Science 5
- Verification 5
- Description logic 4
Lingua
- eng 219
- ita 2
Accesso al fulltext
- reserved 111
- no fulltext 87
- open 32
- partially open 23