Person:989167

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
https://portal.mardi4nfdi.de/entity/Q3624077	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
https://portal.mardi4nfdi.de/entity/Q2768256	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
A refined architecture for terminological systems: Terminology = Schema + Views	1998-08-13	Paper
An epistemic operator for description logics	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesco M. Donini