Carlos Viegas Damásio
Carlos Viegas Damásio publishes mostly in Artificial Intelligence, Computer Networks and Communications and Information Systems, on topics such as Semantic Web and Ontologies, Logic, Reasoning, and Knowledge and Logic, programming, and type systems.
- World rank
- #394,631 of 1,633,909 ranked researchers
- Rank in Portugal
- #1,415 of 9,113
- Works
- 30
- Citations
- 129
- Citations per work
- 4.3
What does Carlos Viegas Damásio research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence65% of their works
- 2Computer Networks and Communications9% of their works
- 3Information Systems9% of their works
- 4Computational Theory and Mathematics6% of their works
- 5Software2% of their works
- 6Sociology and Political Science2% of their works
Research topics
Which keywords describe Carlos Viegas Damásio's research?
The keywords of their largest research topics: Description Logics, Knowledge Representation, Model Checking, Temporal Logic, Ontology, Semantic Web, Answer Set Programming and Modal Logic.
- Statistical Machine Translation
- Symbolic Model Checker
- Multi-Agent Systems
- Continuous Queries
- Semantic Web Services
- Static Analysis
- Modal Logic
- Semantic Web
- Temporal Logic
- Knowledge Representation
- Description Logics
- Model Checking
- Ontology
- Answer Set Programming
- Formal Verification
- QoS-Aware Middleware
- Agent-Based Modeling
- Data Stream Management
- Satisfiability Modulo Theories
- 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
- Description Logics172 topics
- Knowledge Representation172 topics
- Model Checking153 topics
- Temporal Logic102 topics
- Ontology91 topic
- Semantic Web91 topic
- Answer Set Programming81 topic
- Modal Logic81 topic
- Formal Verification51 topic
- Static Analysis51 topic
- QoS-Aware Middleware41 topic
- Semantic Web Services41 topic
- Agent-Based Modeling31 topic
- Continuous Queries31 topic
- Data Stream Management31 topic
- Multi-Agent Systems31 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Neural Machine Translation11 topic
- Statistical Machine Translation11 topic
Where does Carlos Viegas Damásio work?
Carlos Viegas Damásio's main affiliation in the publication record is Universidade Nova de Lisboa, Portugal.
How many publications and citations does Carlos Viegas Damásio have?
Science Explorer counts 30 works and 129 citations for Carlos Viegas Damásio, ranking #394,631 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.