stack photo

Francesco M.

Donini

Full Professors


Publications in 2008




Semantic-based Automated Evaluation of Company Core Competence. swap2008.pdf

Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli
5th Italian Workshop on Semantic Web Applications and Perspectives, Volume 426 - 2008



Towards a fuzzy logic for automated multi-issue negotiation. foiks08.pdf

Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
International Symposium on Foundations of Information and Knowledge Systems FoIKS 2008, springer-verlag, Volume 4932, page 381--396 - 2008


Publications in 2007

A semantic-based integrated solution to personnel and learning needs. IknowIWL.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
7th International Conference on Knowledge Management I-Know 07, page 313--320 - 2007


Alternating-offers protocol for multi-issue bilateral negotiation in semantic-enabled marketplaces. ragone_et_al_id_226.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
6th International Semantic Web Conference (ISWC'07), Volume 4825, page 395--408 - 2007


Automated Building Blocks Selection based on Business Processes Semantics in ERPs. socaj-07.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli, Francesco di Cugno, Azzurra Ragone
Service Oriented Computing and Applications (SOCA Journal), Volume 1, Number 3, page 171--184 - 2007



Description Logics for multi-issue bilateral negotiation with incomplete information. AAAI07-075.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07), page 477--482 - 2007


DL-based alternating-offers protocol for automated multi-issue bilateral negotiation. Ragone_et_al_dl_07paper_62.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Proc. of the 20th Intl. Workshop on Description Logics (DL'07), Volume 250 - 2007


Extending Datalog for matchmaking in P2P e-Marketplaces.

Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
15th Italian Symposium on Advanced database Systems-- Sistemi Evoluti per Basi di Dati (SEBD-2007), page 463--470 - 2007


Extending Propositional Logic with Concrete Domains in Multi-issue Bilateral Negotiation. dalt.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
proc. 5th International Workshop on Declarative Agent Languages and Technologies (DALT 2007) - 2007


Extending Propositional Logic with Concrete Domains in Multi-issue Bilateral Negotiation. dalt.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Declarative Agent Languages and Technologies V: Fifth International Workshop, DALT 2007, Selected, Revised, and Invited Papers, Springer-Verlag, Volume 4897, page 211--226 - 2007





Measuring Core Competencies in a Clustered Network of Knowledge. ICKM.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
Knowledge management: Innovation, technology and cultures, Volume 6, page 279--291 - 2007


Semantic Based Collaborative P2P in Ubiquitous Computing. ruta_et_al_WIAS2007.pdf

Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Web Intelligence and Agent Systems, Volume 5, Number 4, page 375--391 - 2007


Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach. jair-2153-dinoia-disciascio-donini.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Journal of Artificial Intelligence Research (JAIR), Volume 29, page 269--307 - 2007


Semantic-based Search Engine for Professional Knowledge. IKnow07.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Michelantonio Trizio
7th International Conference on Knowledge Management I-Know 07, page 472--475 - 2007


Semantic-based Skill Management for Automated Task Assignment and Courseware Composition. colucci_et_al.ps

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
Journal of Universal Computer Science (J.UCS), Volume 13, Number 9, page 1184--1212 - 2007


Vague Knowledge-bases for Matchmaking in P2P E-Marketplaces. eswc07.pdf

Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
4th European Semantic Web Conference (ESWC 2007), Springer-Verlag, Volume 4519, page 414--428 - 2007


When Price is not enough: Combining Logical and Numerical Issues in Bilateral Negotiation. aamas07-ragone.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
proc. of International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), page 97--99 - March 2007


Publications in 2006


A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation. ecai2006.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
17th European Conference on Artificial Intelligence (ECAI 2006), page 230--234 - 2006


A Model Checking-based Method for Verifying Web Application Design. donini_et_al_ENTCS2006.pdf

Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro
Electronic Notes on Theoretical Computer Science, Volume 151, Number 2, page 19--32 - 2006


A Non-Monotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces. extendedMatchmaking.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives (SMR 2006), page 81--96 - 2006


A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces. 91.pdf

Eugenio Di Sciascio, Simona Colucci, Tommaso Di Noia, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi
8th International conference on Electronic Commerce, ICEC 06, page 174--184 - 2006



Concept Covering for Automated Building Blocks Selection based on Business Processes Semantics. cec06.pdf

Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
The 8th IEEE Conference on E-Commerce Technology and the 3rd IEEE Conference on Enterprise Computing - 2006


Explanation Services and Request Refinement in User Friendly Semantic-enabled B2C E-Marketplaces. deecs06.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Raffaele Rizzi
Data Engineering Issues in E-Commerce and Services (DEECS 2006), Springer, Volume 4055, page 13--27 - 2006



k-Approximating Circuits..

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
IEEE Transactions on Computers, Volume 55, Number 7, page 913--917 - 2006



OwlEd: An Ontology Manager for MaMaS-tng.

Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto
14th Italian Symposium on ADVANCED DATABASE SYSTEMS Sistemi Evoluti per Basi di Dati (SEBD-2006), page 175--186 - 2006






Semantic-Enhanced Bluetooth Discovery Protocol for M-Commerce Applications. ruta_et_al_IJWGS2006_final.pdf

Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
International Journal of Web and Grid Services, Volume 2, Number 4, page 424--452 - 2006


Publications in 2005

Automated semantic web services orchestration via concept covering. p1160.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone, Simona Colucci
Proceedings of the 14th International World Wide Web Conference WWW05 ACM Press, page 1160--1161 - 2005


Automated task-oriented team composition using description logics. IKnow05.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
5th International Conference on Knowledge Management I-Know 05, page 229--236 - 2005





Design verification of web applications using symbolic model checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
Intl. Conf. on Web Engineering 2005 ICWE 05, Springer-Verlag, Volume 3579, page 69--74 - 2005


Fully automated web services orchestration in a resource retrieval scenario. ICWS05.pdf

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Simona Colucci
Proc. of IEEE International Conference on web Services (ICWS 05), page 427--434 - 2005



Knowledge Elicitation for Query Refinement in a Semantic-Enabled E-Marketplace. icec05.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
7th International Conference on Electronic Commerce ICEC 05 ACM Press, page 685--691 - 2005


Natural Language Processing for a Semantic Enabled Resource Retrieval Scenario. ITI-05.pdf

Azzurra Ragone, Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
27th Intl. Conf. on Information Technology Interfaces, page 395--401 - 2005


Non-standard inferences for knowledge-based image retrieval. ewimt05.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Francesco di Cugno, Eufemia Tinelli
EWIMT 2005 2nd European Workshop on the Integration of Knowledge, Semantic and Digital Media Techniques, IEE press, page 191--197 - 2005


Ontology-Based Natural Language Parser for E-Marketplaces. iea2005.pdf

Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto
18th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer Verlag, Volume 3533, page 279--289 - 2005



Semantic based service discovery in ubiquitous computing. ruta_et_al_aica2005.pdf

Michele Ruta, Giacomo Piscitelli, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Atti del XLIII Congresso Associazione Italiana per il Calcolo Automatico AICA 05, page 179-188 - 2005


Semantic-based automated composition of distributed learning objects for personalized e-learning. colu_et_al_eswc05.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone
The Semantic Web: Research and Applications 2nd European Semantic Web Conference ESWC 05, Springer-Verlag, Volume 3532, page 633-648 - 2005


Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics. ext_sebd2005.pdf

Simona Colucci, Stefano Coppi, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Agnese Pinto, Azzurra Ragone
Thirteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD-2005), page 232--239 - 2005


Publications in 2004

A Description Logic based Approach for Matching User Profiles. kes2004.pdf

Andea Calý, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
Proc. of the 17th Intl. Workshop on Description Logics (DL'04), Volume 104 - 2004



A Logic for SVG Documents Query and Retrieval. 04070821061724384.pdf

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Multimedia Tools and Applications, Volume 24, Number 2, page 125--153 - 2004


A Logic-Based Approach for Matching User Profiles. kes2004.pdf

Andea Calý, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES'04) - 2004


A System for Principled Matchmaking in an Electronic Marketplace. 03DiNoia.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Journal of Electronic Commerce, Volume 8, Number 4, page 9--37 - 2004






EbXML verification using Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 26th International Conference on Information Technology Interfaces, page 455--460 - 2004


Extending and computing the concept covering for the semantic web. TECH-REP-21-04-2.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Technical Report 21/04/S, Politecnico di Bari- Dipartimento di Elettrotecnica ed Elettronica, Number 21/04/S - 2004


Extending Semantic-Based Matchmaking via Concept Abduction and Contraction. ekaw04.ps

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
Engineering Knowledge in the Age of the Semantic Web, Springer, Volume 3257, page 307--320 - 2004




Retrieval by Spatial Similarity: an Algorithm and a Comparative Evaluation.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Luciano Allegretti
Pattern Recognition Letters, Volume 25, Number 14, page 1633--1645 - 2004


Semantic-based Approach to Task Assignment of Individual Profiles. IKnow04.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 4th International Conference on Knowledge Management (I-Know '04), page 285--292 - 2004



Un Sistema Web-Service Based per l'Integrazione del Distretto Industriale Murgiano.

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli, Vito Albino
tti del XLII Congresso dell'Associazione Italiana per il Calcolo Automatico AICA 04 - September 2004



Publications in 2003

A formal approach to ontology-based semantic match of skills descriptions. jucs03.ps

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola
Journal of Universal Computer Science (J.UCS), Volume 9, Number 12, page 1437--1454 - Dec. 2003


A System for Principled Matchmaking in an Electronic Marketplace. 03DiNoia.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Twelfth International World Wide Web Conference WWW 2003 ACM press, page 321--330 - May 2003


Abductive Matchmaking using Description Logics. 651ijcai-03.pdf

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, page 337--342 - Aug. 2003


Complexity of Reasoning. donini-chap3.pdf

Francesco M. Donini
Cambridge University Press. Description Logic Handbook, page 96--136 - 2003


Concept Abduction and Contraction in Description Logics. DL03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 16th International Workshop on Description Logics (DL'03), Volume 81 - Sept. 2003


Description Logics Approach to Semantic Matching of Web Services. CIT03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Journal of Computing and Information Technology, Volume 11, Number 3, page 217--224 - 2003


Description Logics Approach to Semantic Matching of Web Services. iti03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the 25th Int. Conf. on Information Technology Interfaces, page 545--550 - Jun. 2003



Logic Based Approach to Web Services Discovery and Matchmaking. icec03.pdf

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of the E-Services Workshop at 5th Intl. Conf. on Electronic Commerce, ICEC'03 - Sept. 2003



Semantic Matchmaking in a P2P Electronic Marketplace.

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of Eighteenth Annual ACM (SIGAPP) Symposium on Applied Computing SAC-03, page 582--586 - Mar. 2003


Web Applications Design and Maintenance using Symbolic Model Checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering, page 63--72 - Mar. 2003


Publications in 2002

A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Workshop of Multimedia Semantics (WMS) - November 28--29 2002


A Logic for SVG Documents Query and Retrieval.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Workshop of Multimedia Semantics (WMS) - November 28--29 2002


A logical framework and an application for matchmaking in e-commerce.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Atti del XL Congresso dell'Associazione Italiana per il Calcolo Automatico - 25--27 September 2002


AnWeb: a System for Automatic Support to Web Application Verification.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference, page 609--616 - July 2002


Description logics of minimal knowledge and negation as failure. donini-nardi-rosati-TOCL02.ps.gz

Francesco M. Donini, Daniele Nardi, Riccardo Rosati
ACM Transactions on Computational Logic, Volume 3, Number 2 - apr 2002


I-Search: a System for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Foundations of Intelligent Systems, Springer-Verlag, Number 2366, page 149--157 - 2002


Knowledge Representation for Matchmaking in P2P.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Atti del VIII Convegno dell'Associazione Italiana di Intelligenza Artificiale - 11--13 September 2002



Preprocessing of intractable problems. cadoli-donini-liberatore-schaerf-IC01.ps.gz

Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf
Information and Computation, Volume 176, Number 1, page 89--120 - aug 2002



Structured Knowledge Representation for Image Retrieval. disciascio02a.pdf

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Journal of Artificial Intelligence Research(JAIR), Volume 16, page 209--257 - 2002


Using Computation Tree Logic for Intelligent Information Search on the Web.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
International Journal of Computational Intelligence and Applications, Volume 2, Number 3, page 245--253 - 2002


Publications in 2001

A Knowledge-Based System for Person-to-Person E-Commerce.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001), Volume 44, page 609--616 - 2001





Content-Based Retrieval of Landmark Images using Structured Knowledge Representation.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
Proceedings of 2nd Conference on Informatica e pianificazione urbana e territoriale (INPUT 2001) - 2001


Verifying integrity constraints on web-based systems using model checking.

Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli
Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico - September 2001


SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy