Ian Hodkinson

65 papers and 1.2k indexed citations i.

Ian Hodkinson has authored 65 papers that have received a total of 1.2k indexed citations. This includes 50 papers in Computational Theory and Mathematics, 41 papers in Artificial Intelligence and 11 papers in Computer Networks and Communications. The topics of these papers are Logic, Reasoning, and Knowledge (36 papers), Advanced Algebra and Logic (34 papers) and Logic, programming, and type systems (27 papers). Ian Hodkinson is often cited by papers focused on Logic, Reasoning, and Knowledge (36 papers), Advanced Algebra and Logic (34 papers) and Logic, programming, and type systems (27 papers) and collaborates with scholars based in United Kingdom, The Netherlands and New Zealand. 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