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 logic of belief and a model checking algorithm for security protocols
2000-01-01 M., Benerecetti; Giunchiglia, Fausto; M., Panti; L., Spalazzi
A Major Wordnet for a Minority Language: Scottish Gaelic
2020-01-01 Bella, Gábor; Mcneill, Fiona; Gorman, Rody; Ó Donnaíle, Caoimhin; Macdonald, Kirsty; Chandrashekar, Yamini; Freihat, Abed Alhakim; Giunchiglia, Fausto
A many sorted natural deduction
1994-01-01 A., Cimatti; Giunchiglia, Fausto; R. W., Weyhrauch
A model checking algorithm for multi-agent systems
1999-01-01 M., Benerecetti; Giunchiglia, Fausto; L., Serafini
A multi-agent system for knowledge management based on the implicit culture framework
2002-01-01 Blanzieri, Enrico; Giorgini, Paolo; Giunchiglia, Fausto; Zanoni, Claudio
A multi-agent system for knowledge management based on the implicit culture framework
2003-01-01 Blanzieri, Enrico; Giorgini, Paolo; Zanoni, Claudio; Giunchiglia, Fausto
A Multilingual Ontology Matcher
2015-01-01 Bella, Gabor; Giunchiglia, Fausto; AbuRaed Ghassan Tawfik, Ahmed; Mcneill, Fiona
A new method for testing decision procedures in modal and terminological logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A new method for testing decision procedures in modal logics
1997-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A provably correct embedded verifier for the certification of safety critical software
1997-01-01 A., Cimatti; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; P., Traverso; B., Yu
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 Convegni (Proceedings) 286
- 04 Convegni (Proceedings)::04.1 S... 286
Data di pubblicazione
- 2020 - 2024 52
- 2010 - 2019 52
- 2000 - 2009 75
- 1990 - 1999 80
- 1983 - 1989 27
Editore
- Springer 60
- IEEE 18
- CEUR 10
- Springer Verlag 8
- ACM 6
- Association for Computational Lin... 6
- Morgan Kaufmann 5
- ACL Anthology 4
- IOS Press 4
- CEUR-WS 3
Rivista
- IJCAI 2
- LECTURE NOTES IN COMPUTER SCIENCE 1
Serie
- CEUR WORKSHOP PROCEEDINGS 7
- LECTURE NOTES IN COMPUTER SCIENCE 4
- LECTURE NOTES IN COMPUTER SCIENCE 3
- FRONTIERS IN ARTIFICIAL INTELLIGE... 2
- LECTURE NOTES IN ARTIFICIAL INTEL... 2
- ADVANCES IN KNOWLEDGE ORGANIZATION 1
- ADVANCES IN NEURAL INFORMATION PR... 1
- LECTURE NOTES IN BUSINESS INFORMA... 1
- PROCEEDINGS IEEE INTERNATIONAL CO... 1
Keyword
- Computer Science - Computation an... 2
- Crowdsensing 2
- Data streams 2
- Diversity 2
- Knowledge Representation 2
- Knowledge representation 2
- Semantic Heterogeneity 2
- 68U99 1
- Access Control models 1
- activity recognition 1
Lingua
- eng 237
- ita 11
Accesso al fulltext
- no fulltext 231
- open 40
- partially open 9
- reserved 6