[CARTE][B] An introduction to description logic

F Baader, I Horrocks, C Lutz, U Sattler - 2017 - books.google.com
Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …

Foundations of JSON schema

F Pezoa, JL Reutter, F Suarez, M Ugarte… - Proceedings of the 25th …, 2016 - dl.acm.org
JSON--the most popular data format for sending API requests and responses--is still lacking
a standardized schema or meta-data definition that allows the developers to specify the …

Big graphs: challenges and opportunities

W Fan - Proceedings of the VLDB Endowment, 2022 - dl.acm.org
Big data is typically characterized with 4V's: Volume, Velocity, Variety and Veracity. When it
comes to big graphs, these challenges become even more staggering. Each and every of …

Datalog and recursive query processing

TJ Green, SS Huang, BT Loo… - Foundations and Trends …, 2013 - nowpublishers.com
In recent years, we have witnessed a revival of the use of recursive queries in a variety of
emerging application domains such as data integration and exchange, information …

[CARTE][B] Fundamentals of parameterized complexity

RG Downey, MR Fellows - 2013 - Springer
Parameterized complexity/multivariate complexity algorithmics is an exciting field of modern
algorithm design and analysis, with a broad range of theoretical and practical aspects that …

Sparsity

J Nešetřil, PO De Mendez - Algorithms and combinatorics, 2012 - Springer
This text is aimed at doctoral students and researchers, who are interested in Combinatorics
and Graph Theory or who would just like to learn about some active topics and trends. But …

Texts in Theoretical Computer Science An EATCS Series

ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
Classical complexity theory analyzes and classifies problems by the amount of a resource,
usually time or space, that is required by algorithms solving them. It was a fundamental idea …

The logic of graph neural networks

M Grohe - 2021 36th Annual ACM/IEEE Symposium on Logic …, 2021 - ieeexplore.ieee.org
Graph neural networks (GNNs) are deep learning architectures for machine learning
problems on graphs. It has recently been shown that the expressiveness of GNNs can be …

[CARTE][B] Probabilistic databases

D Suciu, D Olteanu, C Ré, C Koch - 2022 - books.google.com
Probabilistic databases are databases where the value of some attributes or the presence of
some records are uncertain and known only with some probability. Applications in many …

[CARTE][B] Graph structure and monadic second-order logic: a language-theoretic approach

B Courcelle, J Engelfriet - 2012 - books.google.com
The study of graph structure has advanced in recent years with great strides: finite graphs
can be described algebraically, enabling them to be constructed out of more basic elements …