David Gabelaia

20 papers and 184 indexed citations i.

David Gabelaia has authored 20 papers that have received a total of 184 indexed citations. This includes 18 papers in Artificial Intelligence, 18 papers in Computational Theory and Mathematics and 4 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (17 papers), Advanced Algebra and Logic (15 papers) and Logic, programming, and type systems (9 papers). David Gabelaia is often cited by papers focused on Logic, Reasoning, and Knowledge (17 papers), Advanced Algebra and Logic (15 papers) and Logic, programming, and type systems (9 papers) and collaborates with scholars based in United States, United Kingdom and The Netherlands. David Gabelaia's co-authors include Guram Bezhanishvili, Nick Bezhanishvili, Michael Zakharyaschev, Frank Wolter and Mamuka Jibladze and has published in prestigious journals such as Journal of Artificial Intelligence Research, Lecture notes in computer science and Journal of Symbolic Logic