Georg Gottlob
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
12
Computational logic and proof theory
Reasoning Web. Semantic Technologies for Intelligent Data Access
Database theory
Advances in Databases and Information Systems
Expert Systems in Engineering, Principles and Applications - International Workshop Proceedings
Rule Technologies : Foundations, Tools, and Applications
Computer Science Logic
Expertensysteme
Datalog Reloaded
Logic Programming and Nonmonotonic Reasoning
Reasoning Web. Semantic Interoperability on the Web
