F. M. Donini

From MaRDI portal
Person:989167

Available identifiers

zbMath Open donini.francesco-mDBLPd/FrancescoMDoniniWikidataQ57445339 ScholiaQ57445339MaRDI QIDQ989167

List of research outcomes





PublicationDate of PublicationType
A uniform tableaux method for nonmonotonic modal logics2019-10-08Paper
On compact representations of propositional circumscription2017-12-04Paper
Description logics of minimal knowledge and negation as failure2017-06-13Paper
A Unified Framework for Non-standard Reasoning Services in Description Logics2011-05-11Paper
The complexity of existential quantification in concept languages.2010-08-27Paper
Computing Utility from Weighted Description Logic Preference Formulas2010-02-02Paper
Semantic matchmaking as non-monotonic reasoning: a description logic approach2009-04-28Paper
https://portal.mardi4nfdi.de/entity/Q30468322004-08-12Paper
Spatial layout representation for query-by-sketch content-based image retrieval2003-02-11Paper
Preprocessing of intractable problems2003-01-14Paper
Automatic support for verification of secure transactions in distributed environment using symbolic model checking2002-10-10Paper
https://portal.mardi4nfdi.de/entity/Q45333492002-07-04Paper
https://portal.mardi4nfdi.de/entity/Q27211832001-07-01Paper
https://portal.mardi4nfdi.de/entity/Q45140132001-03-04Paper
EXPtime tableaux for ALC2000-12-12Paper
https://portal.mardi4nfdi.de/entity/Q45189112000-12-03Paper
https://portal.mardi4nfdi.de/entity/Q45064592000-09-19Paper
The size of a revised knowledge base2000-06-04Paper
An epistemic operator for description logics1998-08-13Paper
A refined architecture for terminological systems: Terminology = Schema + Views1998-08-13Paper
Is intractability of nonmonotonic reasoning a real drawback?1998-07-23Paper
On compact representations of propositional circumscription1998-07-22Paper
https://portal.mardi4nfdi.de/entity/Q43869241998-05-10Paper
Ground Nonmonotonic Modal Logics1998-01-27Paper
The complexity of concept languages1997-08-11Paper
Deduction in Concept Languages: from Subsumption to Instance Checking1994-10-17Paper
https://portal.mardi4nfdi.de/entity/Q40287881993-03-28Paper
https://portal.mardi4nfdi.de/entity/Q40122431992-09-27Paper

Research outcomes over time

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