Catalogo dei prodotti della ricerca

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.

cerca in
Risultati 241 - 250 di 253 (tempo di esecuzione: 0.038 secondi).
Titolo Data di pubblicazione Autore(i) File
Verification of conjunctive-query based semantic artifacts? 2011 Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo
Verification of data-aware commitment-based multiagent system 2014 Marco, Montali; Diego, Calvanese; DE GIACOMO, Giuseppe
Verification of data-aware processes 2016 DE GIACOMO, Giuseppe
Verification of description logic Knowledge and Action Bases 2012 Babak Bagheri, Hariri; Diego, Calvanese; DE GIACOMO, Giuseppe; DE MASELLIS, Riccardo; Felli, Paolo; Marco, Montali
Verification of human driven data-centric dynamic systems 2014 Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; DE GIACOMO, Giuseppe; Deutsch, Alin
Verification of relational data-centric dynamic systems with external services 2013 Babak Bagheri, Hariri; Diego, Calvanese; Marco, Montali; DE GIACOMO, Giuseppe; Alin, Deutsch
Verifying congolog programs on bounded situation calculus theories 2016 DE GIACOMO, Giuseppe; Lesṕerance, Yves; Patrizi, Fabio; Sardina, Sebastian
View-based Query Answering over Description Logic Ontologies 2008 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
View-based Query Containment 2003 Calvanese, D; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Vardi, M. Y.
View-Based Query Processing and Constraint Satisfaction 2000 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Moshe Y., Vardi
Risultati 241 - 250 di 253 (tempo di esecuzione: 0.038 secondi).
↑ Back to top
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

Aggiungere filtri:  
 Filtra
Opzioni
Scopri
Tipologia
  • 04 Pubblicazione in atti di convegno 253
  • 04 Pubblicazione in atti di convegno::04b Atto di convegno in volume 213
  • 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 3
  • 04 Pubblicazione in atti di convegno::04f Poster 1
Prodotti per autore
  • LENZERINI, Maurizio 83
  • ROSATI, Riccardo 48
  • PATRIZI, FABIO 36
  • LEMBO, Domenico 26
  • MECELLA, Massimo 25
  • FAVORITO, MARCO 13
  • IOCCHI, Luca 11
  • NARDI, Daniele 11
  • POGGI, Antonella 11
  • FELLI, PAOLO 9
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 88
  • open 31
  • partially open 23