Johan de Kleer
Johan de Kleer publishes mostly in Artificial Intelligence, Software and Control and Systems Engineering, on topics such as AI-based Problem Solving and Planning, Model-Driven Software Engineering Techniques and Logic, Reasoning, and Knowledge.
- World rank
- #155,180 of 1,633,909 ranked researchers
- Rank in United States
- #64,898 of 358,040
- Works
- 36
- Citations
- 271
- Citations per work
- 7.5
What does Johan de Kleer research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence36% of their works
- 2Software13% of their works
- 3Control and Systems Engineering11% of their works
- 4Computer Networks and Communications8% of their works
- 5Industrial and Manufacturing Engineering6% of their works
- 6Biomedical Engineering3% of their works
Research topics
Which keywords describe Johan de Kleer's research?
The keywords of their largest research topics: Heuristic Search, Planning Systems, Description Logics, Knowledge Representation, Model Checking, Temporal Logic, Domain-Specific Languages and Model-Driven Engineering.
- Symbolic Model Checker
- Performance Prediction
- Distributed Algorithms
- Semantic Web
- Design for Manufacture
- Modal Logic
- Model-Driven Engineering
- Temporal Logic
- Knowledge Representation
- Planning Systems
- Heuristic Search
- Description Logics
- Model Checking
- Domain-Specific Languages
- Answer Set Programming
- Assembly Planning
- Ontology
- Constraint Optimization
- Log Analysis
- Satisfiability Modulo Theories
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
- Heuristic Search91 topic
- Planning Systems91 topic
- Description Logics72 topics
- Knowledge Representation72 topics
- Model Checking62 topics
- Temporal Logic62 topics
- Domain-Specific Languages51 topic
- Model-Driven Engineering51 topic
- Answer Set Programming41 topic
- Modal Logic41 topic
- Assembly Planning31 topic
- Design for Manufacture31 topic
- Ontology31 topic
- Semantic Web31 topic
- Constraint Optimization21 topic
- Distributed Algorithms21 topic
- Log Analysis21 topic
- Performance Prediction21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
Where does Johan de Kleer work?
Johan de Kleer's main affiliation in the publication record is Palo Alto Research Center, United States.
How many publications and citations does Johan de Kleer have?
Science Explorer counts 36 works and 271 citations for Johan de Kleer, ranking #155,180 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.