Thomas Eiter

About the Author

Thomas Eiter is a distinguished computer scientist and professor at the Vienna University of Technology, where he has made seminal contributions to the fields of knowledge representation, logic programming, and artificial intelligence. With a career spanning over three decades, Eiter's research explores the intersections of computational logic and automated reasoning, influencing advancements in database systems, semantic web technologies, and non-monotonic reasoning. His work has been pivotal in bridging theoretical foundations with practical applications in AI. Eiter has co-authored numerous influential papers and books, earning international acclaim for his rigorous yet accessible approach to complex topics. In 'Prolog: The Next 50 Years (Lecture Notes in Computer Science Book 13900)', he offers insightful perspectives on the future evolution of the Prolog programming language, reflecting his deep expertise in logic-based systems.