Sergei Artëmov
About
Sergei Artëmov has authored 39 papers that have received a total of 604 indexed citations.
This includes 31 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 4 papers in Experimental and Cognitive Psychology. The topics of these papers are Logic, Reasoning, and Knowledge (29 papers), Computability, Logic, AI Algorithms (14 papers) and Logic, programming, and type systems (12 papers). Sergei Artëmov is often cited by papers focused on Logic, Reasoning, and Knowledge (29 papers), Computability, Logic, AI Algorithms (14 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in United States, Russia and Switzerland. Sergei Artëmov's co-authors include Anil Nerode, Gerhard Jäger, Rosalie Iemhoff, Lev D. Beklemishev and Solomon Feferman and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Russian Mathematical Surveys
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Pravin Kumar Singh are co-authored with Top journals papers by Jingyu Li are published in Top fields papers by Julien Didierjean are about Top authors papers by Christian Stetter are co-authored with Top journals papers by Adnan Muhammad Shah are published in Top authors papers by John A. B. Mates are co-authored with Top authors papers by Michael Barnes are co-authored with Top countries impacted by papers by Jessica A. Gold