Marco Cadoli
- Artificial Intelligence top 1%
- Logic, Reasoning, and Knowledge 37
- Semantic Web and Ontologies 26
- AI-based Problem Solving and Planning 11
- Logic, programming, and type systems 7
- Bayesian Modeling and Causal Inference 6
- Software top 5%
-
- Constraint Satisfaction and Optimization 16
- Advanced Database Systems and Queries 13
- Signal Processing top 10%
- Data Management and Algorithms 8
- Co-authors
- Marco SchaerfFrancesco M. DoniniMaurizio LenzeriniAndrea GiovanardiPaolo LiberatoreToni ManciniAndrea SchaerfThomas Eiter
- Journals
- Artificial Intelligence (8 papers)IEEE Transactions on Knowledge and Data Engineering (1 paper)Annals of Operations Research (1 paper)
- Partner nations
- ItalyUnited StatesAustria
In The Last Decade
Marco Cadoli
51 papers receiving 862 citations
Peers
Comparison fields: 5 of 38
- Artificial Intelligence 868
- Computational Theory and Mathematics 398
- Software 58
- Computer Networks and Communications 293
- Signal Processing 66
Countries citing papers authored by Marco Cadoli
This map shows the geographic impact of Marco Cadoli's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Marco Cadoli with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Marco Cadoli more than expected).
Fields of papers citing papers by Marco Cadoli
This network shows the impact of papers produced by Marco Cadoli. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Marco Cadoli. The network helps show where Marco Cadoli may publish in the future.
Co-authorship network
The 24 scholars most cited alongside Marco Cadoli, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2007 | 5 | |
| 2 | 2006 | 8 | |
| 3 | CSP properties for quantified constraints: definitions and complexity | 2005 | 11 |
| 4 | Towards Implementing Finite Model Reasoning in Description Logics. | 2004 | 1 |
| 5 | Automated reformulation of specifications by safe delay of constraints | 2004 | 2 |
| 6 | 2004 | 30 | |
| 7 | 2002 | 34 | |
| 8 | An algorithm to evaluate quantified Boolean formulae | 1998 | 65 |
| 9 | Datalog and Description Logics: Expressive Power. | 1997 | 2 |
| 10 | A survey on knowledge compilation | 1997 | 108 |
| 11 | 1997 | 20 | |
| 12 | Datalog and Description Logics: Expressive Power - Preliminary Report. | 1996 | 1 |
| 13 | 1996 | 15 | |
| 14 | 1996 | 27 | |
| 15 | 1996 | 17 | |
| 16 | 1995 | 88 | |
| 17 | 1993 | 89 | |
| 18 | Approximate reasoning and non-omniscient agents | 1992 | 18 |
| 19 | Closed world reasoning in Hybrid systems | 1991 | 13 |
| 20 | The complexity of closed world reasoning and circumscription | 1990 | 31 |
About Marco Cadoli
Marco Cadoli is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, having authored 52 papers that have together received 1.0k indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (37 papers), Semantic Web and Ontologies (26 papers), Constraint Satisfaction and Optimization (16 papers), Advanced Database Systems and Queries (13 papers), AI-based Problem Solving and Planning (11 papers), Data Management and Algorithms (8 papers), Logic, programming, and type systems (7 papers) and Bayesian Modeling and Causal Inference (6 papers). The work is most often cited by research in Artificial Intelligence (868 citations), Computational Theory and Mathematics (398 citations) and Software (58 citations). Marco Cadoli has collaborated with scholars based in Italy, United States and Austria. Frequent co-authors include Marco Schaerf, Francesco M. Donini, Maurizio Lenzerini, Andrea Giovanardi, Paolo Liberatore, Toni Mancini, Andrea Schaerf, Thomas Eiter, Georg Gottlob and Luigi Palopoli. Their work appears in journals such as Artificial Intelligence, IEEE Transactions on Knowledge and Data Engineering and Annals of Operations Research.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.