Jørgen Villadsen
Jørgen Villadsen 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 Multi-Agent Systems and Negotiation.
- World rank
- #6,053,995 of 7,710,434 ranked researchers
- Rank in Denmark
- #38,915 of 43,819
- Works
- 143
- Citations
- 1.6k
- Citations per work
- 10.9
What does Jørgen Villadsen research?
Jørgen Villadsen's work is mostly in Computer Science (62%), Materials Science (4%), Decision Sciences (4%).
Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.
The fields and subfields, with their numbers
- Physical Sciences9868.6%
- Computer Science8861.6%
- Materials Science64.3%
- Chemistry42.7%
- Everything else3927.6%
- Social Sciences53.8%
- Decision Sciences53.8%
- 1Artificial Intelligence46% of their works
- 2Computational Theory and Mathematics11% of their works
- 3Computer Networks and Communications5% of their works
- 4Materials Chemistry4% of their works
- 5Management Science and Operations Research4% of their works
- 6Inorganic Chemistry3% of their works
Research topics
Which keywords describe Jørgen Villadsen'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.
- Distributed Algorithms
- Mechanism Design
- Semantic Web
- Symbolic Model Checker
- Residuated Lattices
- Multi-Agent Systems
- Static Analysis
- Modal Logic
- Knowledge Representation
- Temporal Logic
- Model Checking
- Description Logics
- Answer Set Programming
- Formal Verification
- Agent-Based Modeling
- Fuzzy Logic
- Satisfiability Modulo Theories
- Ontology
- Auction Theory
- Constraint Optimization
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 Checking1143 topics
- Temporal Logic712 topics
- Description Logics702 topics
- Knowledge Representation702 topics
- Answer Set Programming561 topic
- Modal Logic561 topic
- Formal Verification431 topic
- Static Analysis431 topic
- Agent-Based Modeling301 topic
- Multi-Agent Systems301 topic
- Fuzzy Logic201 topic
- Residuated Lattices201 topic
- Satisfiability Modulo Theories151 topic
- Symbolic Model Checker151 topic
- Ontology141 topic
- Semantic Web141 topic
- Auction Theory121 topic
- Mechanism Design121 topic
- Constraint Optimization91 topic
- Distributed Algorithms91 topic
Where does Jørgen Villadsen work?
Jørgen Villadsen's main affiliation in the publication record is Technical University of Denmark, Denmark.
How many publications and citations does Jørgen Villadsen have?
OpenAlex counts 143 works and 1,562 citations for Jørgen Villadsen, an h-index of 15, ranking #6,053,995 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.
Discussion
Ask a question or share a note about Jørgen Villadsen. Posts are plain text and can be reported.