Question 1

What does Georg Kreisel research?

Accepted Answer

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.

Question 2

Which keywords describe Georg Kreisel's research?

Accepted Answer

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.

Question 3

Where does Georg Kreisel work?

Accepted Answer

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

Question 4

How many publications and citations does Georg Kreisel have?

Accepted Answer

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.

Question 5

Is Georg Kreisel's h-index high?

Accepted Answer

An h-index of 37 is at or above that of 98% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 2.7%.