Valentin Shehtman

24 papers and 155 indexed citations i.

Valentin Shehtman has authored 24 papers that have received a total of 155 indexed citations. This includes 18 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (18 papers), Advanced Algebra and Logic (13 papers) and Logic, programming, and type systems (10 papers). Valentin Shehtman is often cited by papers focused on Logic, Reasoning, and Knowledge (18 papers), Advanced Algebra and Logic (13 papers) and Logic, programming, and type systems (10 papers) and collaborates with scholars based in Russia, United Kingdom and South Africa. Valentin Shehtman's co-authors include Dov M. Gabbay, Michael Gabbay and Alexander Chagrov and has published in prestigious journals such as Lecture notes in computer science, Russian Mathematical Surveys and Journal of Symbolic Logic.