F. M. Donini

Available identifiers

zbMath Open donini.francesco-mDBLPd/FrancescoMDoniniWikidataQ57445339 ScholiaQ57445339MaRDI QIDQ989167

List of research outcomes

Publication	Date of Publication	Type
A uniform tableaux method for nonmonotonic modal logics	2019-10-08	Paper
On compact representations of propositional circumscription	2017-12-04	Paper
Description logics of minimal knowledge and negation as failure	2017-06-13	Paper
A Unified Framework for Non-standard Reasoning Services in Description Logics	2011-05-11	Paper
The complexity of existential quantification in concept languages.	2010-08-27	Paper
Computing Utility from Weighted Description Logic Preference Formulas	2010-02-02	Paper
Semantic matchmaking as non-monotonic reasoning: a description logic approach	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3046832	2004-08-12	Paper
Spatial layout representation for query-by-sketch content-based image retrieval	2003-02-11	Paper
Preprocessing of intractable problems	2003-01-14	Paper
Automatic support for verification of secure transactions in distributed environment using symbolic model checking	2002-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4533349	2002-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q2721183	2001-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4514013	2001-03-04	Paper
EXPtime tableaux for ALC	2000-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4518911	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4506459	2000-09-19	Paper
The size of a revised knowledge base	2000-06-04	Paper
An epistemic operator for description logics	1998-08-13	Paper
A refined architecture for terminological systems: Terminology = Schema + Views	1998-08-13	Paper
Is intractability of nonmonotonic reasoning a real drawback?	1998-07-23	Paper
On compact representations of propositional circumscription	1998-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4386924	1998-05-10	Paper
Ground Nonmonotonic Modal Logics	1998-01-27	Paper
The complexity of concept languages	1997-08-11	Paper
Deduction in Concept Languages: from Subsumption to Instance Checking	1994-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4028788	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4012243	1992-09-27	Paper

Research outcomes over time

This page was built for person: F. M. Donini