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.
Agent composition synthesis based on ATL
2010 DE GIACOMO, Giuseppe; Felli, Paolo
Agent programming via planning programs
2010 DE GIACOMO, Giuseppe; Patrizi, Fabio; Sebastian, Sardina
AIDA: A Tool for Resiliency in Smart Manufacturing
2023 DE GIACOMO, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Monti, Flavia; Silo, Luciana
An automata-theoretic approach to regular XPath
2009 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe
Answering queries using views over description logics knowledge bases
2000 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Answering Regular Path Queries Using Views
2000 Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Vardi, M. Y.
Artifact-centric workflow dominance
2009 Diego, Calvanese; DE GIACOMO, Giuseppe; Rick, Hull; Jianwen, Su
Automata-Theoretic Approach to Planning for Temporally Extended Goals
1999 DE GIACOMO, Giuseppe; MOSHE Y., Vardi
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals
2018 DE GIACOMO, Giuseppe; Rubin, Sasha
Automated composition of nondeterministic stateful services
2010 DE GIACOMO, Giuseppe; Patrizi, Fabio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Agent composition synthesis based on ATL | 2010 | DE GIACOMO, Giuseppe; Felli, Paolo | |
Agent programming via planning programs | 2010 | DE GIACOMO, Giuseppe; Patrizi, Fabio; Sebastian, Sardina | |
AIDA: A Tool for Resiliency in Smart Manufacturing | 2023 | DE GIACOMO, Giuseppe; Favorito, Marco; Leotta, Francesco; Mecella, Massimo; Monti, Flavia; Silo, Luciana | |
An automata-theoretic approach to regular XPath | 2009 | Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Y., Vardi Moshe | |
Answering queries using views over description logics knowledge bases | 2000 | Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
Answering Regular Path Queries Using Views | 2000 | Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Vardi, M. Y. | |
Artifact-centric workflow dominance | 2009 | Diego, Calvanese; DE GIACOMO, Giuseppe; Rick, Hull; Jianwen, Su | |
Automata-Theoretic Approach to Planning for Temporally Extended Goals | 1999 | DE GIACOMO, Giuseppe; MOSHE Y., Vardi | |
Automata-Theoretic Foundations of FOND Planning for LTLf and LDLf Goals | 2018 | DE GIACOMO, Giuseppe; Rubin, Sasha | |
Automated composition of nondeterministic stateful services | 2010 | DE GIACOMO, Giuseppe; Patrizi, Fabio |
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 213
- 04 Pubblicazione in atti di convegno::04b Atto di convegno in volume 213
Data di pubblicazione
- 2020 - 2024 34
- 2010 - 2019 84
- 2000 - 2009 75
- 1994 - 1999 20
Editore
- AAAI Press 36
- Springer 15
- ACM 9
- AAAI press 7
- Springer Verlag 7
- ACM Press 6
- Springer Berlin Heidelberg 6
- Springer-Verlag 6
- CEUR-WS 5
- CEUR-WS.org 5
Prodotti per rivista
- CEUR WORKSHOP PROCEEDINGS 1
Prodotti per serie
- LECTURE NOTES IN COMPUTER SCIENCE 20
- CEUR WORKSHOP PROCEEDINGS 18
- PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS 4
- IJCAI 3
- PROCEEDINGS OF THE ... INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING 3
- PROCEEDINGS-INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING 3
- FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 2
- 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 11
- Reasoning about Actions 8
- Software 6
- Computer Science (all) 5
- Description Logics 5
- Verification 5
- Artificial intelligence 4
- Description logic 4
- Theoretical Computer Science 4
Lingua
- eng 192
- ita 2
Accesso al fulltext
- reserved 99
- no fulltext 67
- open 25
- partially open 22