David Makinson
David Makinson publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Philosophy, on topics such as Logic, Reasoning, and Knowledge, Advanced Algebra and Logic and Semantic Web and Ontologies.
- World rank
- #15,217 of 1,633,909 ranked researchers
- Rank in United Kingdom
- #1,388 of 90,785
- Works
- 43
- Citations
- 1.1k
- Citations per work
- 26.1
What does David Makinson research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence34% of their works
- 2Computational Theory and Mathematics19% of their works
- 3Philosophy10% of their works
- 4History and Philosophy of Science6% of their works
- 5Experimental and Cognitive Psychology6% of their works
- 6General Health Professions6% of their works
Research topics
Which keywords describe David Makinson's research?
The keywords of their largest research topics: Description Logics, Knowledge Representation, Modal Logic, Model Checking, Answer Set Programming, Belief Revision, Fuzzy Logic and Residuated Lattices.
- Static Analysis
- Healthcare Legislation
- Data Stream Management
- Phenomenal Experience
- Evolutionary Synthesis
- Semantic Web
- Residuated Lattices
- Belief Revision
- Model Checking
- Knowledge Representation
- Description Logics
- Modal Logic
- Answer Set Programming
- Fuzzy Logic
- Ontology
- Consciousness
- Mechanistic Explanation
- Continuous Queries
- Formal Verification
- Patient Rights
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 Logics162 topics
- Knowledge Representation162 topics
- Modal Logic152 topics
- Model Checking132 topics
- Answer Set Programming111 topic
- Belief Revision111 topic
- Fuzzy Logic91 topic
- Residuated Lattices91 topic
- Ontology51 topic
- Semantic Web51 topic
- Consciousness41 topic
- Evolutionary Synthesis41 topic
- Mechanistic Explanation41 topic
- Phenomenal Experience41 topic
- Continuous Queries21 topic
- Data Stream Management21 topic
- Formal Verification21 topic
- Healthcare Legislation21 topic
- Patient Rights21 topic
- Static Analysis21 topic
Where does David Makinson work?
David Makinson's main affiliation in the publication record is London School of Economics and Political Science, United Kingdom.
How many publications and citations does David Makinson have?
Science Explorer counts 43 works and 1,122 citations for David Makinson, ranking #15,217 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.