Is Gottlob's work only theoretical and abstract?
While my work is deeply rooted in formal logic and theory, its aim is to have practical impact. The theories developed for databases and knowledge representation have direct applications in areas like data integration, intelligent search, and building robust AI systems. For instance, Datalog, a logic programming language I have extensively studied, is a practical tool for querying and reasoning over structured data, finding use in real-world applications.
Ask Georg Gottlob the follow-up →