Johan van Benthem
Johan van Benthem publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Experimental and Cognitive Psychology, on topics such as Logic, Reasoning, and Knowledge, Advanced Algebra and Logic and Logic, programming, and type systems.
- World rank
- #151,566 of 1,633,909 ranked researchers
- Rank in Netherlands
- #3,427 of 23,481
- Works
- 101
- Citations
- 422
- Citations per work
- 4.2
What does Johan van Benthem research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence55% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Experimental and Cognitive Psychology5% of their works
- 4Language and Linguistics5% of their works
- 5Philosophy4% of their works
- 6History and Philosophy of Science4% of their works
Research topics
Which keywords describe Johan van Benthem's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Modal Logic, Answer Set Programming, Belief Revision, Fuzzy Logic and Residuated Lattices.
- Phenomenal Experience
- Evolutionary Synthesis
- Computability
- Semantic Web
- Static Analysis
- Formal Verification
- Residuated Lattices
- Belief Revision
- Modal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Answer Set Programming
- Fuzzy Logic
- Agent-Based Modeling
- Multi-Agent Systems
- Ontology
- Algorithmic Information Theory
- Consciousness
- Mechanistic Explanation
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 Checking442 topics
- Description Logics422 topics
- Knowledge Representation422 topics
- Modal Logic372 topics
- Answer Set Programming331 topic
- Belief Revision331 topic
- Fuzzy Logic141 topic
- Residuated Lattices141 topic
- Agent-Based Modeling111 topic
- Formal Verification111 topic
- Multi-Agent Systems111 topic
- Static Analysis111 topic
- Ontology91 topic
- Semantic Web91 topic
- Algorithmic Information Theory71 topic
- Computability71 topic
- Consciousness41 topic
- Evolutionary Synthesis41 topic
- Mechanistic Explanation41 topic
- Phenomenal Experience41 topic
Where does Johan van Benthem work?
Johan van Benthem's main affiliation in the publication record is University of Amsterdam, Netherlands.
How many publications and citations does Johan van Benthem have?
Science Explorer counts 101 works and 422 citations for Johan van Benthem, ranking #151,566 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.