Lev D. Beklemishev
Lev D. Beklemishev publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Geometry and Topology, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Advanced Algebra and Logic.
- World rank
- #522,466 of 1,633,909 ranked researchers
- Rank in Russia
- #3,006 of 28,789
- Works
- 44
- Citations
- 75
- Citations per work
- 1.7
What does Lev D. Beklemishev research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence44% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Geometry and Topology7% of their works
- 4Algebra and Number Theory7% of their works
- 5Transportation4% of their works
- 6Sociology and Political Science2% of their works
Research topics
Which keywords describe Lev D. Beklemishev's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Answer Set Programming, Modal Logic, Formal Verification, Static Analysis and Fuzzy Logic.
- DNA Sequences
- Semantic Web
- Computability
- Algorithmic Information Theory
- Deformations
- Fuzzy Logic
- Formal Verification
- Answer Set Programming
- Description Logics
- Model Checking
- Knowledge Representation
- Modal Logic
- Static Analysis
- Residuated Lattices
- Hom-Lie Algebras
- Cluster Algebras
- Ontology
- Triangulated Categories
- Genomic Signal Processing
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 19 words, with their numbers
- Model Checking172 topics
- Description Logics122 topics
- Knowledge Representation122 topics
- Answer Set Programming101 topic
- Modal Logic101 topic
- Formal Verification71 topic
- Static Analysis71 topic
- Fuzzy Logic61 topic
- Residuated Lattices61 topic
- Deformations31 topic
- Hom-Lie Algebras31 topic
- Algorithmic Information Theory21 topic
- Cluster Algebras21 topic
- Computability21 topic
- Ontology21 topic
- Semantic Web21 topic
- Triangulated Categories21 topic
- DNA Sequences11 topic
- Genomic Signal Processing11 topic
Where does Lev D. Beklemishev work?
Lev D. Beklemishev's main affiliation in the publication record is Steklov Mathematical Institute, Russia.
How many publications and citations does Lev D. Beklemishev have?
Science Explorer counts 44 works and 75 citations for Lev D. Beklemishev, ranking #522,466 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.