Francesco M. Donini mainly focuses on Description logic, Theoretical computer science, Knowledge representation and reasoning, Artificial intelligence and Natural language processing. His work deals with themes such as E-commerce, Contraction, Commonsense reasoning, Semantics and Algorithm, which intersect with Description logic. His Semantics research is multidisciplinary, relying on both Inference and Semantic Web.
His Theoretical computer science study incorporates themes from Computational complexity theory, T-norm fuzzy logics, Time complexity and Negation. The study incorporates disciplines such as Semantic reasoner, Ranking, Information retrieval, Datalog and Deductive database in addition to Knowledge representation and reasoning. His Artificial intelligence study frequently draws connections between adjacent fields such as Satisfiability.
His primary areas of study are Description logic, Theoretical computer science, Artificial intelligence, Information retrieval and Knowledge representation and reasoning. In his study, Ontology and Knowledge management is strongly linked to Ontology, which falls under the umbrella field of Description logic. His studies in Theoretical computer science integrate themes in fields like Algorithm, Set and Fuzzy logic.
In his research, Ontology language is intimately related to Natural language processing, which falls under the overarching field of Artificial intelligence. Francesco M. Donini interconnects Ranking and Data mining in the investigation of issues within Information retrieval. His research in Knowledge representation and reasoning intersects with topics in Non-monotonic logic and Programming language.
Description logic, Theoretical computer science, Artificial intelligence, Knowledge management and Information retrieval are his primary areas of study. His Description logic study combines topics from a wide range of disciplines, such as Ontology, Logic programming, Relational database management system, Knowledge representation and reasoning and Exploit. His work deals with themes such as Contraction and Semantic Web Stack, which intersect with Knowledge representation and reasoning.
His biological study spans a wide range of topics, including Set, Leverage, Fuzzy logic and Semantic Web. Francesco M. Donini combines subjects such as Machine learning, Decidability, Propositional calculus and Natural language processing with his study of Artificial intelligence. His Information retrieval research includes elements of Ranking, Semantics and Data mining.
His primary areas of investigation include Description logic, Theoretical computer science, Knowledge representation and reasoning, Information retrieval and Artificial intelligence. Francesco M. Donini undertakes interdisciplinary study in the fields of Description logic and Multi issue through his works. His Theoretical computer science research incorporates elements of Variety, Negation and Logical entailment.
He has researched Knowledge representation and reasoning in several fields, including Service discovery, Propositional calculus and World Wide Web, Peer-to-peer. His Information retrieval research incorporates themes from Web service, Data mining, Logical framework and Contraction. In the subject of general Artificial intelligence, his work in Fuzzy logic is often linked to Preference, thereby combining diverse domains of study.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Reasoning in description logics
Francesco M. Donini;Maurizio lenzerini;Daniele Nardi;Andrea Schaerf.
Principles of knowledge representation (1997)
The complexity of concept languages
Werner Nutt;Francesco M. Donini;Maurizio Lenzerini;Daniele Nardi.
Information & Computation (1997)
{\cal A}{\cal L} -log: Integrating Datalog and Description Logics
Francesco M. Donini;Maurizio Lenzerini;Daniele Nardi;Andrea Schaerf.
intelligent information systems (1998)
Decidable reasoning in terminological knowledge representation systems
Martin Buchheit;Francesco M. Donini;Andrea Schaerf.
Journal of Artificial Intelligence Research (1993)
Description logics of minimal knowledge and negation as failure
Francesco M. Donini;Daniele Nardi;Riccardo Rosati.
ACM Transactions on Computational Logic (2002)
A survey on knowledge compilation
Marco Cadoli;Francesco M. Donini.
Ai Communications (1997)
A System for Principled Matchmaking in an Electronic Marketplace
Tommaso Di Noia;Eugenio Di Sciascio;Francesco M. Donini;Marina Mongiello.
International Journal of Electronic Commerce (2004)
The Complexity of Concept Languages.
Francesco M. Donini;Maurizio Lenzerini;Daniele Nardi;Werner Nutt.
principles of knowledge representation and reasoning (1991)
EXP TIME tableaux for ALC
Francesco M. Donini;Fabio Massacci.
Artificial Intelligence (2000)
An epistemic operator for description logics
F. M. Donini;M. Lenzerini;D. Nardi;W. Nutt.
Artificial Intelligence (1998)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Polytechnic University of Bari
Polytechnic University of Bari
Sapienza University of Rome
Sapienza University of Rome
University of Udine
Free University of Bozen-Bolzano
Vrije Universiteit Amsterdam
Sapienza University of Rome
National Research Council (CNR)
University of Michigan–Ann Arbor
Uppsala University
Pennsylvania State University
Yıldız Technical University
University of Konstanz
Zhejiang University
TU Dresden
University of Alberta
Tel Aviv University
Harvard University
University of Washington
University of Genoa
Montreal Neurological Institute and Hospital
Kobe University
Brown University
University of Exeter
University of Cambridge