Ian Hodkinson

67 papers and 1.2k indexed citations i.

Ian Hodkinson has authored 67 papers that have received a total of 1.2k indexed citations. This includes 51 papers in Computational Theory and Mathematics, 42 papers in Artificial Intelligence and 11 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (37 papers), Advanced Algebra and Logic (35 papers) and Logic, programming, and type systems (27 papers). Ian Hodkinson is often cited by papers focused on Logic, Reasoning, and Knowledge (37 papers), Advanced Algebra and Logic (35 papers) and Logic, programming, and type systems (27 papers) and collaborates with scholars based in United Kingdom, New Zealand and The Netherlands. Ian Hodkinson's co-authors include Robin Hirsch, Robert Goldblatt, Nick Bezhanishvili, Yde Venema and Wilfrid Hodges and has published in prestigious journals such as Journal of Biogeography, Transactions of the American Mathematical Society and Proceedings of the American Mathematical Society.