Erich Grädel

Erich Grädel is affiliated with RWTH Aachen University in Germany and has contributed extensively to the field of computer science. Their research spans multiple subfields, with a particular focus on artificial intelligence, computer networks and communications, computational theory and mathematics, information systems and management, and management science and operations research.

Their work covers a range of main topics including logic, reasoning, and knowledge; semantic web and ontologies; advanced database systems and queries; logic, programming, and type systems; scientific computing and data management; data quality and management; and coding theory and cryptography.

Erich Grädel has published research in several notable venues. Frequent publication outlets include:

• Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
• arXiv (Cornell University)
• Annals of Pure and Applied Logic
• Journal of Logic and Computation
• Electronic Proceedings in Theoretical Computer Science

Recent scholarly papers authored or co-authored by Erich Grädel include:

• "Semiring Provenance for Fixed-Point Logic," 2021, published by Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
• "Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence," 2022, Annals of Pure and Applied Logic
• "Limitations of the invertible-map equivalences," 2022, Journal of Logic and Computation
• "Semiring Provenance for Büchi Games: Strategy Analysis with Absorptive Polynomials," 2021, Electronic Proceedings in Theoretical Computer Science
• "Separation logic and logics with team semantics," 2021, Annals of Pure and Applied Logic

Their research collaborations include frequent co-authors such as:

• Matthias Naaf
• Anuj Dawar
• Niels Lücking
• Katrin M. Dannert
• Val Tannen

This body of work engages deeply with foundational and applied aspects of logic, programming, and semantic frameworks, reflecting a focus on the theoretical underpinnings as well as practical implications of computational logic and knowledge representation.