J.F.A.K. van Benthem
About
J.F.A.K. van Benthem has authored 40 papers that have received a total of 795 indexed citations.
This includes 20 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 2 papers in Management Science and Operations Research. The topics of these papers are Logic, Reasoning, and Knowledge (16 papers), Advanced Algebra and Logic (13 papers) and Logic, programming, and type systems (8 papers). J.F.A.K. van Benthem is often cited by papers focused on Logic, Reasoning, and Knowledge (16 papers), Advanced Algebra and Logic (13 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in The Netherlands and Czechia. J.F.A.K. van Benthem's co-authors include Marco Aiello, Alice Ter Meulen, Koninklijke Nederlandse Akademie van Wetenschappen, Barteld Kooi and Ian Pratt‐Hartmann and has published in prestigious journals such as Machine Learning, Journal of Symbolic Logic and Journal of Philosophical Logic
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Y. Kaneko are co-authored with Top fields papers by Jamal Najım are about Top journals papers by L. L. Burpee are published in Top authors papers by Aslıhan Polat are co-authored with Top authors papers by Chunying Wang are co-authored with Top countries impacted by papers by Woojin Kim Top journals papers by Neriman Çolakoğlu are published in Top authors papers by María del Pozo are co-authored with