Address

Contact Information

Phone: +39 0761 357 613

Email: donini@unitus.it

Francesco M. Donini

Full Professor

Publications

Adherence and Constancy in LIME-RS Explanations for Recommendation
Joint Workshop Proceedings of the 3rd Edition of Knowledge-aware and Conversational Recommender Systems (KaRS) and the 5th Edition of Recommendation in Complex Environments (ComplexRec) co-located with 15th ACM RecSys 2021, Amsterdam, 2021

V-Elliot: Design, Evaluate and Tune Visual Recommender Systems
RecSys 21: Fifteenth ACM Conference on Recommender Systems, Amsterdam, The Netherlands, 2021

Explanation in Multi-Stakeholder Recommendation for Enterprise Decision Support Systems
Advanced Information Systems Engineering Workshops - CAiSE 2021 International Workshops, Melbourne, VIC, Australia,, 2021

Elliot: A Comprehensive and Rigorous Framework for Reproducible Recommender Systems Evaluation
The 44th International ACM SIGIR Conference on Research and Development in Information Retrieval, Virtual Event, Canada, 2021

Reasoning over RDF Knowledge Bases: where we are
16th International Conference of the Italian Association for Artificial Intelligence

Defining and Computing Least Common Subsumers in RDF
Journal of Web Semantics. Science, Services and Agents on the World Wide Web

A Logic-based approach to Named-Entity Disambiguation in the Web of Data
Proceedings of the 14th Conference of the Italian Association for Artificial Intelligence

Finding Commonalities in Linked Open Data
Proceedings of the 29th Italian Conference on Computational Logic

A deductive approach to the identification and description of clusters in Linked Open Data
Proceedings of the 21th European Conference on Artificial Intelligence (ECAI '14)

Common Subsumbers in RDF
XIII Conference of the Italian Association for Artificial Intelligence

Knowledge Compilation for Core Competence Extraction in Organizations
16th International Conference on Business Information Systems

Large Scale Skill Matching through Knowledge Compilation
20th International Symposium on Methodologies for Intelligent Systems (ISMIS’12)

Multi-attribute Bilateral Negotiation in a Logic-based E-marketplace
Negotiation and Argumentation in Multi-agent Systems

Inverting Subsumption for Constructive Reasoning
25th International Workshop on Description Logics (DL 2012)

Knowledge compilation for Automated Team Composition exploiting standard SQL
Proceedings of the 27th Annual ACM (SIGAPP) Symposium on Applied Computing

Finding Commonalities in RFID Semantic Streams
The 5th International Workshop on RFID Technology Concepts, Applications, Challenges (IWRT 2011)

Weighted Description Logics preference formulas for multiattribute negotiation
third International Conference on Scalable Uncertainty Management (SUM 2009)

Computing Information Minimal Match Explanations for Logic-based Matchmaking
2009 IEEE/WIC/ACM International Conference on Web Intelligence and agent Technologies WI/IAT 09

Informative Common Subsumers for Disease Diagonosis
9th International Conference on Knowledge Management I-Know 09

Computing Utility from Weighted Description Logic Preference Formulas
Declarative Agent Languages and Technologies VII

I.M.P.A.K.T.: an innovative, semantic-based skill management system exploiting standard SQL
11th International Conference on Enterprise Information Systems (ICEIS'09)

DOI:

Semantic-based Automated Evaluation of Company Core Competence
5th Italian Workshop on Semantic Web Applications and Perspectives

Finding Informative Commonalities in Concept Collections
proc. of ACM 17th Conference on Information and Knowledge Management (CIKM 2008)

A Fuzzy Description Logics approach to Bilateral Matchmaking in Electronic Marketplaces
Proceedings of Sixteenth Italian Symposium on Advanced Database Systems --SEBD '08

Fuzzy bilateral matchmaking in e-marketplaces
12th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems - KES2008

Partial and Informative Common Subsumers in Description Logics
proc. of 18th European Conference on Artificial Intelligence (ECAI 2008)

Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.
Proc. of the 21st Intl. Workshop on Description Logics (DL 2008)

Extending Propositional Logic with Concrete Domains in Multi-issue Bilateral Negotiation
proc. 5th International Workshop on Declarative Agent Languages and Technologies (DALT 2007)

Towards a fuzzy logic for automated multi-issue negotiation
International Symposium on Foundations of Information and Knowledge Systems FoIKS 2008

Semantic-based Search Engine for Professional Knowledge
7th International Conference on Knowledge Management I-Know 07

Automated Building Blocks Selection based on Business Processes Semantics in ERPs
Service Oriented Computing and Applications (SOCA Journal)

Extending Datalog for matchmaking in P2P e-Marketplaces
15th Italian Symposium on Advanced database Systems-- Sistemi Evoluti per Basi di Dati (SEBD-2007)

Extending Propositional Logic with Concrete Domains in Multi-issue Bilateral Negotiation
proc. 5th International Workshop on Declarative Agent Languages and Technologies (DALT 2007)

k-Approximating Circuits.
IEEE Transactions on Computers

Vague Knowledge-bases for Matchmaking in P2P E-Marketplaces
4th European Semantic Web Conference (ESWC 2007)

When Price is not enough: Combining Logical and Numerical Issues in Bilateral Negotiation
proc. of International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007)

Concept Covering for Automated Building Blocks Selection based on Business Processes Semantics
The 8th IEEE Conference on E-Commerce Technology and the 3rd IEEE Conference on Enterprise Computing

A Non-Monotonic Approach to Semantic Matchmaking and Request Refinement in E-Marketplaces
1st International Workshop on Semantic Matchmaking and Resource Retrieval: Issues and Perspectives (SMR 2006)

OwlEd: An Ontology Manager for MaMaS-tng
14th Italian Symposium on ADVANCED DATABASE SYSTEMS Sistemi Evoluti per Basi di Dati (SEBD-2006)

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3
10th European Conference on Software Maintenance and Reengineering CSMR 06

A Framework for Content-Based Image Retrieval Fully Exploiting the Semantics of Annotation
Proceedings of the 21th ACM Annual ACM (SIGAPP) Symposium on Applied Computing.

Design verification of web applications using symbolic model checking
Intl. Conf. on Web Engineering 2005 ICWE 05

Semantic based service discovery in ubiquitous computing
Atti del XLIII Congresso Associazione Italiana per il Calcolo Automatico AICA 05

DOI:

Natural Language Processing for a Semantic Enabled Resource Retrieval Scenario
27th Intl. Conf. on Information Technology Interfaces

Semantic-based automated composition of distributed learning objects for personalized e-learning
The Semantic Web: Research and Applications 2nd European Semantic Web Conference ESWC 05

Knowledge Based Approach to Semantic Composition of Teams in an Organization
Proceedings of the 20th Annual ACM (SIGAPP) Symposium on Applied Computing

Automated semantic web services orchestration via concept covering
Proceedings of the 14th International World Wide Web Conference WWW05 ACM Press

Non-standard inferences for knowledge-based image retrieval
EWIMT 2005 2nd European Workshop on the Integration of Knowledge, Semantic and Digital Media Techniques, IEE press

Building-Blocks Composition based on Business Process Semantics for SAP R/3
ISWC 2005 Workshop Semantic Web Case Studies and Best Practices for eBusiness (SWCASE05)

Ontology-Based Natural Language Parser for E-Marketplaces
18th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems

AnWeb: a System for Automatic Support to Web Application Verification
SEKE 2002, 14th. Software Engineering and Knowledge Engineering Conference

Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics
Thirteenth Italian Symposium on ADVANCED DATABASE SYSTEMS - Sistemi Evoluti per Basi di Dati (SEBD-2005)

Knowledge Representation for Matchmaking in P2P
Atti del VIII Convegno dell'Associazione Italiana di Intelligenza Artificiale

Web Applications Design and Maintenance using Symbolic Model Checking
Proceedings of 7th IEEE European Conference on Software Maintenance and Reengineering

Semantic Matchmaking in a P2P Electronic Marketplace
Proceedings of Eighteenth Annual ACM (SIGAPP) Symposium on Applied Computing SAC-03

Abductive Matchmaking using Description Logics
Proceedings of Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03

A Description Logic based Approach for Matching User Profiles
Proc. of the 17th Intl. Workshop on Description Logics (DL'04)

A Logic-Based Approach for Matching User Profiles
Proceedings of the 8th International Conference on Knowledge-Based Intelligent Information & Engineering Systems (KES'04)

Un Sistema Web-Service Based per l'Integrazione del Distretto Industriale Murgiano
tti del XLII Congresso dell'Associazione Italiana per il Calcolo Automatico AICA 04

EbXML verification using Model Checking
Proceedings of 26th International Conference on Information Technology Interfaces

Content-Based Retrieval of Landmark Images using Structured Knowledge Representation
Proceedings of 2nd Conference on Informatica e pianificazione urbana e territoriale (INPUT 2001)

A Knowledge-Based System for Person-to-Person E-Commerce
Proceedings of the KI-2001 Workshop on Applications of Description Logics (ADL-2001)

Verifying integrity constraints on web-based systems using model checking
Atti del XXXIX Congresso dell'Associazione Italiana per il Calcolo Automatico

Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic

Preprocessing of intractable problems
Information and Computation