Travelled to:1 × Cyprus
2 × France
5 × Italy
6 × USA
Collaborated with:E.D.Sciascio M.Mongiello E.Tinelli T.D.Noia P.Liberatore M.Schaerf S.Colucci G.Piscitelli M.Cadoli M.Lenzerini D.Nardi W.Nutt F.d.Cugno F.Massacci A.Schaerf A.Cascone M.Ruta S.Coppi
Talks about:base (7) knowledg (5) semant (5) composit (3) exploit (3) concept (3) web (3) standard (2) retriev (2) languag (2)
Person: Francesco M. Donini
DBLP: Donini:Francesco_M=
Contributed to:
2012
2009
2008
200620062005200420032003
2002
20021996
199519921991Wrote 15 papers:
- SAC-2012-TinelliCSD #automation #compilation #composition #sql #standard
- Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.
- ICEIS-AIDSS-2009-TinelliCRNSD #semantics #sql #standard
- I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL (ET, AC, MR, TDN, EDS, FMD), pp. 224–229.
- CIKM-2008-ColucciSDT #concept
- Finding informative commonalities in concept collections (SC, EDS, FMD, ET), pp. 807–817.
- CSMR-2006-CugnoNSDT #automation #composition #semantics #tool support
- Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3 (FdC, TDN, EDS, FMD, ET), pp. 343–346.
- SAC-2006-NoiaSCTD #framework #image #retrieval #semantics
- A framework for content-based image retrieval fully exploiting the semantics of annotation (TDN, EDS, FdC, ET, FMD), pp. 1709–1710.
- SAC-2005-ColucciNSDPC #approach #composition #knowledge base #semantics
- Knowledge based approach to semantic composition of teams in an organization (SC, TDN, EDS, FMD, GP, SC), pp. 1314–1319.
- SAC-2004-SciascioDM #documentation #knowledge base #retrieval #scalability
- A knowledge based system for content-based retrieval of Scalable Vector Graphics documents (EDS, FMD, MM), pp. 1040–1044.
- CSMR-2003-SciascioDMP #design #maintenance #model checking #using #web
- Web Applications Design and Maintenance Using Symbolic Model Checking (EDS, FMD, MM, GP), pp. 63–72.
- SAC-2003-NoiaSDM #semantics
- Semantic Matchmaking in a P-2-P Electronic Marketplace (TDN, EDS, FMD, MM), pp. 582–586.
- KR-2002-DoniniLMS
- Solving QBF by SMV (FMD, PL, FM, MS), pp. 578–592.
- SEKE-2002-SciascioDMP #automation #named #verification #web
- AnWeb: a sytem for automatic support to web application verification (EDS, FMD, MM, GP), pp. 609–616.
- KR-1996-CadoliDLS #information management #performance #representation
- Comparing Space Efficiency of Propositional Knowledge Representation Formalisms (MC, FMD, PL, MS), pp. 364–373.
- PODS-1995-CadoliDLS #knowledge base
- The Size of a Revised Knowledge Base (MC, FMD, PL, MS), pp. 151–162.
- KR-1992-DoniniLNSN #concept
- Adding Epistemic Operators to Concept Languages (FMD, ML, DN, AS, WN), pp. 342–353.
- KR-1991-DoniniLNN #complexity #concept
- The Complexity of Concept Languages (FMD, ML, DN, WN), pp. 151–162.