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.
Description Logics Approach to Semantic Matching of Web Services
2003-01-01 Colucci, Simona; DI NOIA, Tommaso; DI SCIASCIO, Eugenio; F. M., Donini; Mongiello, Marina
Abductive Matchmaking using Description Logics
2003-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
Web Applications Design and Maintenance using Symbolic Model Checking
2003-01-01 DI SCIASCIO, Eugenio; F. M., Donini; Mongiello, Marina; G., Piscitelli
Semantic matchmaking in a P-2-P electronic marketplace
2003-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
Logic Based Approach to Web Services Discovery and Matchmaking
2003-01-01 Colucci, Simona; DI NOIA, Tommaso; DI SCIASCIO, Eugenio; F. M., Donini; Mongiello, Marina
Resource matchmaking based on negotiable and strict constraints in the semantic web
2004-01-01 Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco Maria; Mongiello, Marina; Piscitelli, Giacomo
An agency for semantic-based automatic discovery of web-services
2004-01-01 Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina; Piscitelli, Giacomo; Rossi, Gianvito
A uniform tableaux-based method for concept abduction and contraction in description logics
2004-01-01 Colucci, S; Di Noia, T; Di Sciascio, E; Donini, Fm; Mongiello, M
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
2004-01-01 Colucci, S.; Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Mongiello, M.
Design and Implementation of a Web-Search Engine based on Computation Tree Logic
2004-01-01 DI SCIASCIO, Eugenio; Donini, F. M.; Mongiello, Marina; Piscitelli, G.
EbXML verification using model checking
2004-01-01 Di Sciascio, E.; Donini, F. M.; Mongiello, M.; Piscitelli, G.
Concept Abduction and Contraction for Semantic-based Discovery of Matches and Negotiation Spaces in an E-Marketplace
2004-01-01 Colucci, Simona; DI NOIA, Tommaso; DI SCIASCIO, Eugenio; F. M., Donini; Mongiello, Marina
A CNN-based object-oriented coding system for real-time video compression
2004-01-01 Di Sciascio, E.; Grieco, Luigi Alfredo; Grassi, G.
A Knowledge Based System for Content-based Retrieval of Scalable Vector Graphics Documents
2004-01-01 Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
Extending Semantic-Based Matchmaking via Concept Abduction and Contraction
2004-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.
Automated semantic web services orchestration via concept covering
2005-01-01 Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Ragone, A.; Colucci, S.
Non-standard inferences for knowledge-based image retrieval
2005-01-01 Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Di Cugno, F.; Tinelli, E.
Fully automated web services orchestration in a resource retrieval scenario
2005-01-01 Ragone, A.; DI NOIA, Tommaso; DI SCIASCIO, Eugenio; Donini, F. M.; Colucci, Simona
Natural language processing for a semantic enabled resource retrieval scenario
2005-01-01 Ragone, A; Coppi, S; DI NOIA, Tommaso; DI SCIASCIO, Eugenio; Donini, F. M.
Design verification of web applications using symbolic model checking
2005-01-01 DI SCIASCIO, Eugenio; FRANCESCO M., Donini; Mongiello, Marina; Rodolfo, Totaro; Daniela, Castelluccia
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
- 4 Contributo in Atti di Convegno ... 314
- 4.1 Contributo in Atti di convegno 310
- 4.2 Abstract in Atti di convegno 2
- 4.3 Poster 2
Data di pubblicazione
- 2020 - 2023 44
- 2010 - 2019 137
- 2000 - 2009 117
- 1995 - 1999 16
Editore
- CEUR-WS 41
- Springer 40
- IEEE 37
- Association for Computing Machinery 33
- IEEE Computer Society 10
- CEUR 9
- Institute of Electrical and Elect... 7
- Institute of Electrical and Elect... 7
- ACM 5
- IOS Press 5
Rivista
- ITI 7
- ACM INTERNATIONAL CONFERENCE PROC... 2
- IJCAI 2
- PROCEDIA COMPUTER SCIENCE 2
- CEUR WORKSHOP PROCEEDINGS 1
- FRONTIERS IN ARTIFICIAL INTELLIGE... 1
- PROCEDIA: SOCIAL & BEHAVIORAL SCI... 1
Serie
- CEUR WORKSHOP PROCEEDINGS 54
- LECTURE NOTES IN COMPUTER SCIENCE 46
- ACM INTERNATIONAL CONFERENCE PROC... 6
- FRONTIERS IN ARTIFICIAL INTELLIGE... 4
- LECTURE NOTES IN BUSINESS INFORMA... 4
- CONFERENCE PROCEEDINGS / IEEE INT... 3
- IEEE CONFERENCE ON EVOLVING AND A... 1
- IEEE International High Level Des... 1
- IFIP INTERNATIONAL FEDERATION FOR... 1
- INTERNATIONAL CONFERENCE ON PATTE... 1
Keyword
- Computer Science (all) 15
- Software 9
- Resource discovery 8
- Semantic Web 8
- Description logics 7
- Recommender systems 7
- Semantic web 7
- CoAP 6
- Matchmaking 6
- Theoretical Computer Science 6
Lingua
- eng 301
- ita 5
Accesso al fulltext
- no fulltext 306
- open 8