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.
A formal framework for reasoning on UML class diagrams
2002 Andrea, Calì; Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio
A Foundational Vision of e-Services
2004 Daniela, Berardi; Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo
A generic technique for synthesizing bounded finite-state controllers
2013 Yuxiao, Hu; DE GIACOMO, Giuseppe
A Model of Contingent Planning for Agent Programming Languages
2008 Yves, Lesperance; DE GIACOMO, Giuseppe; ATALAY NAFI, Ozgovde
A Temporal Logic-Based Measurement Framework for Process Mining
2020 Cecconi, Alessio; De Giacomo, Giuseppe; Di Ciccio, Claudio; Maggi, Fabrizio Maria; Mendling, Jan
Abstraction in situation calculus action theories
2017 Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
2018 Banihashemi, Bita; DE GIACOMO, Giuseppe; Lesperance, Yves
Accessing data integration systems through conceptual schemas
2001 Andrea, Cali; Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Actions and programs over description logic ontologies
2007 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
Adding DL-Lite TBoxes to Proper Knowledge Bases
2015 DE GIACOMO, Giuseppe; Levesque, Hector J.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A formal framework for reasoning on UML class diagrams | 2002 | Andrea, Calì; Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
A Foundational Vision of e-Services | 2004 | Daniela, Berardi; Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Mecella, Massimo | |
A generic technique for synthesizing bounded finite-state controllers | 2013 | Yuxiao, Hu; DE GIACOMO, Giuseppe | |
A Model of Contingent Planning for Agent Programming Languages | 2008 | Yves, Lesperance; DE GIACOMO, Giuseppe; ATALAY NAFI, Ozgovde | |
A Temporal Logic-Based Measurement Framework for Process Mining | 2020 | Cecconi, Alessio; De Giacomo, Giuseppe; Di Ciccio, Claudio; Maggi, Fabrizio Maria; Mendling, Jan | |
Abstraction in situation calculus action theories | 2017 | Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves | |
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus | 2018 | Banihashemi, Bita; DE GIACOMO, Giuseppe; Lesperance, Yves | |
Accessing data integration systems through conceptual schemas | 2001 | Andrea, Cali; Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio | |
Actions and programs over description logic ontologies | 2007 | Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo | |
Adding DL-Lite TBoxes to Proper Knowledge Bases | 2015 | DE GIACOMO, Giuseppe; Levesque, Hector J. |
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 252
- 04 Pubblicazione in atti di convegno::04b Atto di convegno in volume 210
- 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 13
- 04 Pubblicazione in atti di convegno::04d Abstract in atti di convegno 3
- 04 Pubblicazione in atti di convegno::04f Poster 1
- 04 Pubblicazione in atti di convegno::04h Atto di convegno in rivista scientifica o di classe A 1
Data di pubblicazione
- 2020 - 2023 43
- 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 11
- CEUR WORKSHOP PROCEEDINGS 2
- LECTURE NOTES IN COMPUTER SCIENCE 1
- Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning 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 27
- Knowledge Representation 13
- Reasoning about Actions 10
- Computer Science (all) 6
- Knowledge Representation and Reasoning 6
- Software 6
- Artificial intelligence 5
- Description Logics 5
- Theoretical Computer Science 5
- Verification 5
Lingua
- eng 218
- ita 2
Accesso al fulltext
- reserved 112
- no fulltext 89
- open 28
- partially open 23