Antonis Achilleos
Antonis Achilleos publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Economics and Econometrics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Advanced Algebra and Logic.
- World rank
- #1,614,817 of 1,633,909 ranked researchers
- Rank in Iceland
- #407 of 411
- Works
- 16
- Citations
- 9
- Citations per work
- 0.6
What does Antonis Achilleos research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence72% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Economics and Econometrics4% of their works
- 4Software4% of their works
Research topics
Which keywords describe Antonis Achilleos's research?
The keywords of their largest research topics: Model Checking, Knowledge Representation, Temporal Logic, Answer Set Programming, Formal Verification, Modal Logic, Static Analysis and Fuzzy Logic.
- Software Fault Localization
- Satisfiability Modulo Theories
- Mechanism Design
- Automated Testing
- Agent-Based Modeling
- Fuzzy Logic
- Modal Logic
- Answer Set Programming
- Knowledge Representation
- Model Checking
- Temporal Logic
- Formal Verification
- Static Analysis
- Residuated Lattices
- Multi-Agent Systems
- Matching Theory
- Ontology
- Semantic Web
- Symbolic Model Checker
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 19 words, with their numbers
- Model Checking153 topics
- Knowledge Representation82 topics
- Temporal Logic82 topics
- Answer Set Programming71 topic
- Formal Verification71 topic
- Modal Logic71 topic
- Static Analysis71 topic
- Fuzzy Logic41 topic
- Residuated Lattices41 topic
- Agent-Based Modeling31 topic
- Multi-Agent Systems31 topic
- Automated Testing11 topic
- Matching Theory11 topic
- Mechanism Design11 topic
- Ontology11 topic
- Satisfiability Modulo Theories11 topic
- Semantic Web11 topic
- Software Fault Localization11 topic
- Symbolic Model Checker11 topic
Where does Antonis Achilleos work?
Antonis Achilleos's main affiliation in the publication record is Reykjavík University, Iceland.
How many publications and citations does Antonis Achilleos have?
Science Explorer counts 16 works and 9 citations for Antonis Achilleos, ranking #1,614,817 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.