Concepedia

Francesco M. Donini

FM

Statistics

Publications

71

Citations

3.7K

H-Index

33

Active since

1990

Affiliations

Polytechnic University of Bari(Current)

Università degli Studi della Tuscia

Sapienza University of Rome

Instituto Politécnico Nacional

German Research Centre for Artificial Intelligence

Francesco M. Donini is an author at Polytechnic University of Bari specializing in engineering, automated reasoning, and semantics.

ORCID

Top concepts

Publications per year

1990–2024

71

Publications

71

AL-log: Integrating Datalog and Description Logics

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi et al. · Journal of Intelligent Information Systems · 1998 · 297 citations

Description logics of minimal knowledge and negation as failure

Francesco M. Donini, Daniele Nardi, Riccardo Rosati · ACM Transactions on Computational Logic · 2002 · 244 citations

, , +17

A survey on knowledge compilation

Marco Cadoli, Francesco M. Donini · 1997 · 213 citations

Decidable reasoning in terminological knowledge representation systems

Martin Buchheit, Francesco M. Donini, Andrea Schaerf · Publications of the UdS (Saarland University) · 1993 · 190 citations · Full text

The Complexity of Concept Languages

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi et al. · Information and Computation · 1997 · 151 citations · Full text

, , +8

1–5 of 71