[CARTE][B] An introduction to description logic
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 …
representation, being designed so that domain knowledge can be described and so that …
Foundations of JSON schema
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 …
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 …
comes to big graphs, these challenges become even more staggering. Each and every of …
Datalog and recursive query processing
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 …
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 …
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 …
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 …
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 …
problems on graphs. It has recently been shown that the expressiveness of GNNs can be …
[CARTE][B] Probabilistic databases
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 …
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 …
can be described algebraically, enabling them to be constructed out of more basic elements …