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 Sandra Bowman Damico are about Top authors papers by Miguel Ángel Álvarez González are co-authored with Top countries impacted by papers by C. Cork Top countries impacted by papers by Tauseef Ahmed Top authors papers by Yu Pan are co-authored with Top authors papers by A. V. Apelfeld are co-authored with Top authors papers by Sergey Dudorov are co-authored with Top authors papers by Christian D. Chan are co-authored with