Reinhard Kähle

30 papers and 114 indexed citations i.

Reinhard Kähle has authored 30 papers that have received a total of 114 indexed citations. This includes 18 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 6 papers in Theoretical Computer Science. The topics of these papers are Logic, Reasoning, and Knowledge (15 papers), Logic, programming, and type systems (13 papers) and Computability, Logic, AI Algorithms (10 papers). Reinhard Kähle is often cited by papers focused on Logic, Reasoning, and Knowledge (15 papers), Logic, programming, and type systems (13 papers) and Computability, Logic, AI Algorithms (10 papers) and collaborates with scholars based in Germany, Portugal and Switzerland. Reinhard Kähle's co-authors include Peter Schroeder‐Heister, Thomas Studer, Gerhard Jäger, Gerhard Jäger and Michael Rathjen and has published in prestigious journals such as Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences, Lecture notes in computer science and Synthese