Patrick Kahl

3 papers and 172 indexed citations i.

Patrick Kahl has authored 3 papers that have received a total of 172 indexed citations. This includes 2 papers in Artificial Intelligence, 1 paper in Computational Theory and Mathematics and 0 papers in Industrial relations. The topics of these papers are Logic, Reasoning, and Knowledge (2 papers), Logic, programming, and type systems (2 papers) and Numerical Methods and Algorithms (1 paper). Patrick Kahl is often cited by papers focused on Logic, Reasoning, and Knowledge (2 papers), Logic, programming, and type systems (2 papers) and Numerical Methods and Algorithms (1 paper) and collaborates with scholars based in United States. Patrick Kahl's co-authors include Yuanlin Zhang, Anatoly Lakeyev, Richard Watson, Michael Gelfond and Jǐŕı Rohn and has published in prestigious journals such as Computers & Mathematics with Applications, Journal of Logic and Computation and Annals of Mathematics and Artificial Intelligence