|
1 |
Artificial Intelligence and Artificial Ignorance (Invited Talk) Gottlob, Georg. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
2 |
Fast and parallel decomposition of constraint satisfaction problems Enthalten in Constraints 3.6.2022: 1-43
|
|
|
3 |
Fractional Covers of Hypergraphs with Bounded Multi-Intersection Gottlob, Georg. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
|
|
|
4 |
Big data Heidelberg : Springer, 2013
|
|
|
5 |
Datalog reloaded Berlin : Springer, 2011
|
|
|
6 |
Datalog Reloaded Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
7 |
Foundations of Rule-Based Query Answering Bry, François. - Ludwig-Maximilians-Universität München, 2007
|
|
|
8 |
RDF Querying Furche, Tim. - Ludwig-Maximilians-Universität München, 2007
|
|
|
9 |
Finite model theory, databases, and computer aided verification Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 2000
|
|
|
10 |
Computer science logic Berlin : Springer, 1999
|
|