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
Breakdown of academic impact, for papers by Rebecca Fish Breakdown of academic impact, for papers by Amal H. Alharbi Breakdown of academic impact, for papers by Robert J. Sweeney Breakdown of academic impact, for papers by Vlastimil Růžička Breakdown of academic impact, for papers by Amador Durán Breakdown of academic impact, for papers by N. Takaura Breakdown of academic impact, for papers by James H. Walker Breakdown of academic impact, for papers by Kasım Armağan Korkmaz