Francesco M. Donini

According to our database1, Francesco M. Donini authored at least 144 papers between 1988 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Checking compliance of semantic web applications with RDFS-semantics.
Internet Technol. Lett., 2019

2017
Logical comparison over RDF resources in bio-informatics.
J. Biomed. Informatics, 2017

Formal model for user-centred adaptive mobile devices.
IET Softw., 2017

Embedding semantics in human resources management automation via SQL.
Appl. Intell., 2017

Reasoning over RDF Knowledge Bases: Where We Are.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016
Defining and computing Least Common Subsumers in RDF.
J. Web Semant., 2016

2015
A Logic-Based Approach to Named-Entity Disambiguation in the Web of Data.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014
A deductive approach to the identification and description of clusters in Linked Open Data.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

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

2013
Compiling subsumption to relational databases.
Intelligenza Artificiale, 2013

Knowledge Compilation for Core Competence Extraction in Organizations.
Proceedings of the Business Information Systems - 16th International Conference, 2013

Common Subsumbers in RDF.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012
Knowledge compilation for automated Team Composition exploiting standard SQL.
Proceedings of the ACM Symposium on Applied Computing, 2012

Large Scale Skill Matching through Knowledge Compilation.
Proceedings of the Foundations of Intelligent Systems - 20th International Symposium, 2012

Inverting Subsumption for Constructive Reasoning.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Using Prolog Unification to Solve Non-standard Reasoning Problems in Description Logics.
Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011
Description Logic-Based Resource Retrieval.
Proceedings of the Encyclopedia of Knowledge Management, Second Edition, 2011

Finding Commonalities in RFID Semantic Streams.
Proceedings of the 2nd International Conference on Ambient Systems, 2011

Automating competence management through non-standard reasoning.
Eng. Appl. Artif. Intell., 2011

Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

2010
A Unified Framework for Non-standard Reasoning Services in Description Logics.
Proceedings of the ECAI 2010, 2010

Second-Order Description Logics: Semantics, Motivation, and a Calculus.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog.
Fuzzy Sets Syst., 2009

Weighted Description Logics Preference Formulas for Multiattribute Negotiation.
Proceedings of the Scalable Uncertainty Management, Third International Conference, 2009

I.M.P.A.K.T.: An Innovative Semantic-based Skill Management System Exploiting Standard SQL.
Proceedings of the ICEIS 2009, 2009

Computing Information Minimal Match Explanations for Logic-Based Matchmaking.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Bargaining Agents in Wireless Contexts: An Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Mobile Marketplaces.
Proceedings of the E-Commerce and Web Technologies, 10th International Conference, 2009

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Computing Utility from Weighted Description Logic Preference Formulas.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

2008
Semantic-Based Bluetooth-RFID Interaction for Advanced Resource Discovery in Pervasive Contexts.
Int. J. Semantic Web Inf. Syst., 2008

Logic-based automated multi-issue bilateral negotiation in peer-to-peer e-marketplaces.
Auton. Agents Multi Agent Syst., 2008

Semantic-based Automated Evaluation of Company Core Competence.
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

A Fuzzy Description Logic Approach to Bilateral Matchmaking in Electronic Marketplaces.
Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Towards a Fuzzy Logic for Automated Multi-issue Negotiation.
Proceedings of the Foundations of Information and Knowledge Systems, 2008

Partial and Informative Common Subsumers in Description Logics.
Proceedings of the ECAI 2008, 2008

Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Partial and Informative Common Subsumers of Concepts Collections in Description Logics.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading.
Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Finding informative commonalities in concept collections.
Proceedings of the 17th ACM Conference on Information and Knowledge Management, 2008

2007
Semantic based collaborative P2P in ubiquitous computing.
Web Intell. Agent Syst., 2007

Automated building blocks selection based on business processes semantics in ERPs.
Serv. Oriented Comput. Appl., 2007

Fully Automated Web Services Discovery and Composition Through Concept Covering and Concept Abduction.
Int. J. Web Serv. Res., 2007

Semantic-based Skill Management for Automated Task Assignment and Courseware Composition.
J. UCS, 2007

Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach.
J. Artif. Intell. Res., 2007

Introduction to the Special Issue: Semantic Matchmaking and Resource Retrieval on the Web.
Int. J. Electron. Commer., 2007

Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces.
Proceedings of the Semantic Web, 2007

Extending Datalog for Matchmaking in P2P E-Marketplaces.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces.
Proceedings of the Semantic Web: Research and Applications, 2007

DL-based Alternating-offers Protocol for Automated Multi-issue Bilateral Negotiation.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

When price is not enough: combining logical and numerical issues in bilateral negotiation.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
k-Approximating Circuits.
IEEE Trans. Computers, 2006

Propositional-logic approach to one-shot multi issue bilateral negotiation.
SIGecom Exch., 2006

Semantic-enhanced Bluetooth discovery protocol for m-commerce applications.
IJWGS, 2006

A Model Checking-based Method for Verifying Web Application Design.
Electron. Notes Theor. Comput. Sci., 2006

OwlEd: An Ontology Manager for MaMaS-tng.
Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

Editorial message: semantic-based resource discovery, retrieval and composition track.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A framework for content-based image retrieval fully exploiting the semantics of annotation.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Explanation Services and Request Refinement in User Friendly Semantic-Enabled B2C E-Marketplaces.
Proceedings of the Data Engineering Issues in E-Commerce and Services, 2006

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3.
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces.
Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce, 2006

2005
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace.
Electron. Commer. Res. Appl., 2005

Automated semantic web services orchestration via concept covering.
Proceedings of the 14th international conference on World Wide Web, 2005

Semantic Based Collaborative P2P in Ubiquitous Computing.
Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Semantic-Based Resource Retrieval using Non-Standard Inference Services in Description Logics.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Knowledge based approach to semantic composition of teams in an organization.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Ontology-Based Natural Language Parser for E-Marketplaces.
Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Fully Automated Web Services Orchestration in a Resource Retrieval Scenario.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

Design Verification of Web Applications Using Symbolic Model Checking.
Proceedings of the Web Engineering, 5th International Conference, 2005

Semantic-Based Automated Composition of Distributed Learning Objects for Personalized E-Learning.
Proceedings of the Semantic Web: Research and Applications, 2005

Knowledge elicitation for query refinement in a semantic-enabled e-marketplace.
Proceedings of the 7th International Conference on Electronic Commerce, 2005

2004
Retrieval by spatial similarity: an algorithm and a comparative evaluation .
Pattern Recognit. Lett., 2004

A Logic for SVG Documents Query and Retrieval.
Multim. Tools Appl., 2004

Semantic-based Approach to Task Assignment of Individual Profiles.
J. UCS, 2004

A System for Principled Matchmaking in an Electronic Marketplace.
Int. J. Electron. Commer., 2004

A knowledge based system for content-based retrieval of Scalable Vector Graphics documents.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Logic-Based Approach for Matching User Profiles.
Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

An Agency for Semantic-Based Automatic Discovery of Web Services.
Proceedings of the Artificial Intelligence Applications and Innovations, 2004

Extending Semantic-Based Matchmaking via Concept Abduction and Contraction.
Proceedings of the Engineering Knowledge in the Age of the Semantic Web, 2004

A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

A Description Logic Based Approach for Matching User Profiles.
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003
A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions.
J. UCS, 2003

Scalable Vector Graphics Indexing and Retrieval: A Knowledge Representation Approach.
Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Semantic Matchmaking in a P-2-P Electronic Marketplace.
Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

Abductive Matchmaking using Description Logics.
Proceedings of the IJCAI-03, 2003

Complexity of Reasoning.
Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Concept Abduction and Contraction in Description Logics.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Web Applications Design and Maintenance Using Symbolic Model Checking.
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

2002
Description logics of minimal knowledge and negation as failure.
ACM Trans. Comput. Log., 2002

Spatial layout representation for query-by-sketch content-based image retrieval.
Pattern Recognit. Lett., 2002

Structured Knowledge Representation for Image Retrieval.
J. Artif. Intell. Res., 2002

Using Computation Tree Logic for Intelligent Information Search on the Web.
International Journal of Computational Intelligence and Applications, 2002

Preprocessing of Intractable Problems.
Inf. Comput., 2002

AnWeb: a system for automatic support to web application verification.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Solving QBF by SMV.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

I-Search: A System for Intelligent Information Search on the Web.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

2000
Space Efficiency of Propositional Knowledge Representation Formalisms.
J. Artif. Intell. Res., 2000

EXPTIME tableaux for ALC.
Artif. Intell., 2000

Semantic Indexing for Image Retrieval Using Description Logics.
Proceedings of the Advances in Visual Information Systems, 4th International Conference, 2000

Design and Results of TANCS-2000 Non-classical (Modal) Systems Comparison.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Verification Programs for Abduction.
Proceedings of the ECAI 2000, 2000

1999
The Size of a Revised Knowledge Base.
Artif. Intell., 1999

Description Logics for Image Recognition: a preliminary proposal.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes.
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

A Description Logic for Image Retrieval.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998
AL-log: Integrating Datalog and Description Logics.
J. Intell. Inf. Syst., 1998

An Epistemic Operator for Description Logics.
Artif. Intell., 1998

A Refined Architecture for Terminological Systems: Terminology = Schema + Views.
Artif. Intell., 1998

Engineering of KR-Based Support Systems for Conceptual Modelling & Analysis.
Proceedings of the Information Modelling and Knowledge Bases X: 8th European-Japanese Conferences on Information Modelling and Knowledge Bases, 1998

DL-based Support to Domain Engineering.
Proceedings of the 1998 International Workshop on Description Logics (DL'98), IRST, Povo, 1998

1997
On Compact Representations of Propositional Circumscription.
Theor. Comput. Sci., 1997

Ground Nonmonotonic Modal Logics.
J. Log. Comput., 1997

The Complexity of Concept Languages.
Inf. Comput., 1997

A Survey on Knowledge Compilation.
AI Commun., 1997

Autoepistemic Description Logics.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

A Description Logic for reasoning with behavioural knowledge.
Proceedings of the 1997 International Workshop on Description Logics, 1997

Reasoning with Behavioural Knowledge in Application Domain Models.
Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

1996
Is Intractability of Nonmonotonic Reasoning a Real Drawback?
Artif. Intell., 1996

Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

A Uniform Tableaux Method for Nonmonotonic Modal Logics.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Feasibility and Unfeasibility of Off-Line Processing.
Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

Exptime Tableaux for ALC.
Proceedings of the 1996 International Workshop on Description Logics, 1996

1995
Ground Nonmonotonic Modal Logics for Knowledge Representation.
Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

On Compact Representations of Propositional Circumscription.
Proceedings of the STACS 95, 1995

Non-first-order features in concept languages.
Proceedings of the Topics in Artificial Intelligence, 1995

1994
Deduction in Concept Languages: From Subsumption to Instance Checking.
J. Log. Comput., 1994

Terminological Systems Revisited: Terminology = Schema + Views.
Proceedings of the Reasoning about Structured Objects: Knowledge Representation Meets Databases, 1994

Is Intractability of Non-Monotonic Reasoning a Real Drawback?
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

Refining the Structure of Terminological Systems: Terminology = Schema + Views.
Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994

1993
Decidable Reasoning in Terminological Knowledge Representation Systems.
J. Artif. Intell. Res., 1993

1992
The Complexity of Existential Quantification in Concept Languages.
Artif. Intell., 1992

Adding Epistemic Operators to Concept Languages.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Queries, Rules and Definitions as Epistemic Sentences in Concept Languages.
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992

1991
The Complexity of Concept Languages (Extended Abstract).
Proceedings of the International Workshop on Terminological Logics 1991, 1991

Tractable Concept Languages.
Proceedings of the International Workshop on Terminological Logics 1991, 1991

A Hybrid System with Datalog and Concept Languages.
Proceedings of the Trends in Artificial Intelligence, 1991

1990
Nonmonotonic reasoning.
Artif. Intell. Rev., 1990

Using Terminological Reasoning in Hybrid Systems.
AI Commun., 1990

An Efficient Method for Hybrid Deduction.
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1988
TermLog: a Logic for Terminological Knowledge.
Proceedings of the Methodologies for Intelligent Systems, 1988


  Loading...