[图书][B] 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 …
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 …
[图书][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 …
XPath leashed
M Benedikt, C Koch - ACM Computing Surveys (CSUR), 2009 - dl.acm.org
This survey gives an overview of formal results on the XML query language XPath. We
identify several important fragments of XPath, focusing on subsets of XPath 1.0. We then …
identify several important fragments of XPath, focusing on subsets of XPath 1.0. We then …
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 …
[图书][B] Querying graphs
Graph data modeling and querying arises in many practical application domains such as
social and biological networks where the primary focus is on concepts and their …
social and biological networks where the primary focus is on concepts and their …
[图书][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 …