Donini, Francesco Maria
Donini, Francesco Maria
Dipartimento di Ingegneria Elettrica e dell'Informazione
Personale esterno ed autonomi
0000-0003-0284-9625
A Description Logic Based Approach for Matching User Profiles
2004-01-01 Cali, Andrea; Calvanese, Diego; Colucci, Simona; Di Noia, Tommaso; Donini, Francesco M.
A formal approach to ontology-based semantic match of skills descriptions
2003-01-01 Colucci, S; Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Mongiello, M.; Mottola, M.
A framework for content-based image retrieval fully exploiting the semantics of annotation
2006-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; di Cugno, Francesco; Tinelli, Eufemia; Donini, Francesco M.
A Knowledge Based System for Content-based Retrieval of Scalable Vector Graphics Documents
2004-01-01 Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
A Knowledge-based Solution for Core Competence Evaluation in Human-Capital Intensive Companies
2008-01-01 Colucci, Simona; Di Sciascio, Eugenio; Donini, Francesco M.
A Logic for SVG Documents Query and Retrieval
2004-01-01 Di Sciascio, E.; Donini, F. M.; Mongiello, M.
A Logic-Based Approach for Matching User Profiles
2004-01-01 Calì, Andrea; Calvanese, Diego; Colucci, Simona; Di Noia, Tommaso; Donini, Francesco M.
A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation
2006-01-01 Ragone, Azzurra; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
2006-01-01 Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Ragone, Azzurra; Rizzi, Raffaele
A system for principled Matchmaking in an electronic marketplace
2004-01-01 Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Mongiello, M.
A system for principled Matchmaking in an electronic marketplace
2003-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
A Tableaux-based method for computing least common subsumers for expressive description logics
2009-01-01 Donini, Francesco M.; Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio
A Unified Framework for Non-standard Reasoning Services in Description Logics
2010-01-01 Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Ragone, Azzurra
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.
Abductive Matchmaking using Description Logics
2003-01-01 Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina
Advanced Resource Discovery Protocol for Semantic-enabled M-commerce
2009-01-01 Ruta, Michele; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco Maria; 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
AnWeb: a System for Automatic Support to Web Application Verification
2002-01-01 Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina; Piscitelli, Giacomo
Automated semantic web services orchestration via concept covering
2005-01-01 Di Noia, T.; Di Sciascio, E.; Donini, F. M.; Ragone, A.; Colucci, S.
Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking
2001-01-01 Di Sciascio, Eugenio; Donini, Francesco M.; Mongiello, Marina; Piscitelli, Giacomo