Georg Gottlob
Big Data
Advances in Databases and Information Systems
Computational logic and proof theory
Computational logic and proof theory
Database theory
Datalog Reloaded
Expert Systems in Engineering, Principles and Applications - International Workshop Proceedings
Expertensysteme
Reasoning Web. Semantic Interoperability on the Web
Rule Technologies : Foundations, Tools, and Applications
Advances in Databases and Information Systems
Computer Science Logic