Robert Mattmüller
About
Robert Mattmüller has authored 27 papers that have received a total of 267 indexed citations.
This includes 25 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 6 papers in Computer Networks and Communications. The topics of these papers are AI-based Problem Solving and Planning (21 papers), Logic, Reasoning, and Knowledge (17 papers) and Formal Methods in Verification (8 papers). Robert Mattmüller is often cited by papers focused on AI-based Problem Solving and Planning (21 papers), Logic, Reasoning, and Knowledge (17 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in Germany, Australia and Denmark. Robert Mattmüller's co-authors include Bernhard Nebel, Thomas Keller, Malte Helmert, David Speck and Thomas Bolander and has published in prestigious journals such as Artificial Intelligence and Journal of Artificial Intelligence Research
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by C. Marguet are about Top journals papers by Zhuohua Lin are published in Top authors papers by B. Umamaheswari are co-authored with Top fields papers by Cristina Nicoleta Ciurea are about Top journals papers by Abiola Babatunde are published in Top authors papers by Carlo Giglio are co-authored with Top fields papers by Yanchao Xu are about Top fields papers by T. C. de K. van der Linde are about