Question 1

What does Guiming Luo research?

Accepted Answer

Guiming Luo publishes mostly in Artificial Intelligence, Control and Systems Engineering and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Logic, Reasoning, and Knowledge and Multi-Agent Systems and Negotiation.

Question 2

Which keywords describe Guiming Luo's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Knowledge Representation, Satisfiability Modulo Theories, Symbolic Model Checker, Answer Set Programming and Modal Logic.

Question 3

Where does Guiming Luo work?

Accepted Answer

Guiming Luo's main affiliation in the publication record is Tsinghua University, China.

Question 4

How many publications and citations does Guiming Luo have?

Accepted Answer

OpenAlex counts 94 works and 2,114 citations for Guiming Luo, an h-index of 10, ranking #5,930,290 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Guiming Luo's h-index high?

Accepted Answer

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