Science Explorer Back to mapMap
Discussion
Researcher · Stanford University · United States

Georg Kreisel

Georg Kreisel publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Theoretical Computer Science, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and History and Theory of Mathematics.

OpenAlex
World rank
#150,774
of 7,710,434 ranked researchers
Rank in United States
#56,837
of 1,627,098
Works
128
Citations
4.1k
Citations per work
31.9
h-index
37
i10-index 65Top 2.7% in Artificial Intelligence
Georg Kreisel

What does Georg Kreisel research?

Georg Kreisel's work is mostly in Computer Science (44%), Mathematics (17%), Arts and Humanities (7%).

Physical Sciences: 78 works · 60.8% of their workComputer Science: 56 works · 43.8% of their workArtificial Intelligence: 32 works · 24.9% of their workComputational Theory and Mathematics: 24 works · 18.9% of their workMathematics: 22 works · 17.0% of their workTheoretical Computer Science: 13 works · 10.2% of their workMathematical Physics: 9 works · 6.8% of their workEverything else: 35 works · 27.1% of their workSocial Sciences: 15 works · 12.1% of their workArts and Humanities: 9 works · 7.2% of their workHistory and Philosophy of Science: 9 works · 7.2% of their workPsychology: 6 works · 4.9% of their workExperimental and Cognitive Psychology: 6 works · 4.9% of their workTHEIR WORKGeorg Kreisel128works
Physical Sciences61%Social Sciences12%

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
    1. Computer Science5643.8%
    2. Mathematics2217.0%
  2. Everything else3527.1%
    1. Arts and Humanities97.2%
    2. Psychology64.9%
  1. 1Artificial Intelligence25% of their works
  2. 2Computational Theory and Mathematics19% of their works
  3. 3Theoretical Computer Science10% of their works
  4. 4History and Philosophy of Science7% of their works
  5. 5Mathematical Physics7% of their works
  6. 6Experimental and Cognitive Psychology5% of their works

Research topics

Which keywords describe Georg Kreisel's research?

The keywords of their largest research topics: Model Checking, Modal Logic, Answer Set Programming, Knowledge Representation, Formal Verification, Static Analysis, Historical Sources and Mathematics Education.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking602 topics
  2. Modal Logic442 topics
  3. Answer Set Programming321 topic
  4. Knowledge Representation321 topic
  5. Formal Verification281 topic
  6. Static Analysis281 topic
  7. Historical Sources271 topic
  8. Mathematics Education271 topic
  9. Algorithmic Information Theory251 topic
  10. Computability251 topic
  11. Fuzzy Logic151 topic
  12. Residuated Lattices151 topic
  13. Consciousness121 topic
  14. Phenomenal Experience121 topic
  15. Logical Empiricism101 topic
  16. Vienna Circle101 topic
  17. Generalized Functions81 topic
  18. Infinite and Infinitesimal Numbers81 topic

Where does Georg Kreisel work?

Georg Kreisel's main affiliation in the publication record is Stanford University, United States.

How many publications and citations does Georg Kreisel have?

OpenAlex counts 128 works and 4,077 citations for Georg Kreisel, an h-index of 37, ranking #150,774 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 Georg Kreisel. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.