Carlos Areces
Carlos Areces publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Formal Methods in Verification.
- World rank
- #775,153 of 1,633,909 ranked researchers
- Rank in Argentina
- #2,216 of 5,585
- Works
- 45
- Citations
- 69
- Citations per work
- 1.5
What does Carlos Areces research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence70% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Computer Networks and Communications4% of their works
- 4Software2% of their works
- 5Philosophy2% of their works
- 6Biomedical Engineering2% of their works
Research topics
Which keywords describe Carlos Areces's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Knowledge Representation, Answer Set Programming, Modal Logic, Formal Verification and Static Analysis.
- Statistical Machine Translation
- Data Stream Management
- Semantic Web
- Multi-Agent Systems
- Residuated Lattices
- Symbolic Model Checker
- Static Analysis
- Modal Logic
- Knowledge Representation
- Temporal Logic
- Model Checking
- Description Logics
- Answer Set Programming
- Formal Verification
- Satisfiability Modulo Theories
- Fuzzy Logic
- Agent-Based Modeling
- Ontology
- Continuous Queries
- Neural Machine Translation
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 20 words, with their numbers
- Model Checking263 topics
- Temporal Logic182 topics
- Description Logics162 topics
- Knowledge Representation162 topics
- Answer Set Programming131 topic
- Modal Logic131 topic
- Formal Verification81 topic
- Static Analysis81 topic
- Satisfiability Modulo Theories51 topic
- Symbolic Model Checker51 topic
- Fuzzy Logic41 topic
- Residuated Lattices41 topic
- Agent-Based Modeling31 topic
- Multi-Agent Systems31 topic
- Ontology31 topic
- Semantic Web31 topic
- Continuous Queries21 topic
- Data Stream Management21 topic
- Neural Machine Translation21 topic
- Statistical Machine Translation21 topic
Where does Carlos Areces work?
Carlos Areces's main affiliation in the publication record is Universidad Nacional de Córdoba, Argentina.
How many publications and citations does Carlos Areces have?
Science Explorer counts 45 works and 69 citations for Carlos Areces, ranking #775,153 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.