Carlos Areces
- Artificial Intelligence top 2%
- Computational Theory and Mathematics top 2%
- Computer Networks and Communications top 10%
- Information Systems
- Software
- Co-authors
- M. MarxPatrick BlackburnGuillaume HoffmannMaarten de RijkeUlrike SattlerIan HorrocksSantiago FigueiraDiego Figueira
- Topics
- Logic, Reasoning, and Knowledge (49 papers)Logic, programming, and type systems (32 papers)Semantic Web and Ontologies (27 papers)
- Cited by
- Artificial IntelligenceComputational Theory and MathematicsComputer Networks and Communications
- Journals
- SHILAP Revista de lepidopterologíaTheoretical Computer ScienceLecture notes in computer science
- Partner nations
- ArgentinaFranceNetherlands
In The Last Decade
Carlos Areces
55 papers receiving 485 citations
Peers
Comparison fields: 5 of 31
- Artificial Intelligence 531
- Computational Theory and Mathematics 244
- Computer Networks and Communications 109
- Information Systems 44
- Software 18
Countries citing papers authored by Carlos Areces
This map shows the geographic impact of Carlos Areces'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 Carlos Areces with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Carlos Areces more than expected).
Fields of papers citing papers by Carlos Areces
This network shows the impact of papers produced by Carlos Areces. 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 Carlos Areces. The network helps show where Carlos Areces may publish in the future.
Co-authorship network of co-authors of Carlos Areces
This figure shows the co-authorship network connecting the top 25 collaborators of Carlos Areces. A scholar is included among the top collaborators of Carlos Areces based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Carlos Areces. Carlos Areces is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Work | Indexed citations |
|---|---|---|
| 1 | 1 | |
| 2 | 4 | |
| 3 | 1 | |
| 4 | Probabilistic Refinement Algorithms for the Generation of Referring Expressions | 0 |
| 5 | Hybrid Type Theory: A Quartet in Four Movements | 1 |
| 6 | 3 | |
| 7 | Which semantics for neighbourhood semantics | 3 |
| 8 | Features as Constraints | 0 |
| 9 | Keys, nominate, and concrete domains | 10 |
| 10 | 16 | |
| 11 | Decomposing modal logic | 0 |
| 12 | Hylores: A hybrid logic prover based on direct resolution | 5 |
| 13 | 99 | |
| 14 | Features as constraints | 3 |
| 15 | Tree-based Heuristics in Modal Theorem Proving | 9 |
| 16 | Prefixed Resolution: A Resolution Method for Modal and Description Logics | 2 |
| 17 | Description logics and feature interaction | 8 |
| 18 | Spatial Reasoning for Image Retrieval | 6 |
| 19 | Interpolation, Definability and Fixed Points in Interpretability Logics | 0 |
| 20 | 1 |
About Carlos Areces
Carlos Areces is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software, having authored 65 papers that have together received 561 indexed citations. Recurring topics across this work include Logic, Reasoning, and Knowledge (49 papers), Logic, programming, and type systems (32 papers) and Semantic Web and Ontologies (27 papers). The work is most often cited by research in Artificial Intelligence (531 citations), Computational Theory and Mathematics (244 citations) and Computer Networks and Communications (109 citations). Carlos Areces has collaborated with scholars based in Argentina, France and Netherlands. Frequent co-authors include M. Marx, Patrick Blackburn, Guillaume Hoffmann, Maarten de Rijke, Ulrike Sattler, Ian Horrocks, Santiago Figueira, Diego Figueira, Alexander Koller and Kristina Striegnitz. Their work appears in journals such as SHILAP Revista de lepidopterología, Theoretical Computer Science and Lecture notes in computer science.
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.