Marcus Kracht

35 papers and 376 indexed citations i.

Marcus Kracht has authored 35 papers that have received a total of 376 indexed citations. This includes 28 papers in Artificial Intelligence, 22 papers in Computational Theory and Mathematics and 7 papers in Language and Linguistics. The topics of these papers are Advanced Algebra and Logic (19 papers), Logic, Reasoning, and Knowledge (19 papers) and Logic, programming, and type systems (12 papers). Marcus Kracht is often cited by papers focused on Advanced Algebra and Logic (19 papers), Logic, Reasoning, and Knowledge (19 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in Germany, United States and Japan. Marcus Kracht's co-authors include Frank Wolter, Tomasz Kowalski and András Kornai and has published in prestigious journals such as Theoretical Computer Science, Journal of Symbolic Logic and Linguistics and Philosophy.