Zobrazeno 1 - 10
of 137
pro vyhledávání: '"Lanzinger, M."'
Existential rules, also known as tuple-generating dependencies (TGDs) or Datalog± rules, are heavily studied in the communities of Knowledge Representation and Reasoning, Semantic Web, and Databases, due to their rich modelling capabilities. In this
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::8e9225d4dd13e628e50f9955fe9c26e2
https://ora.ox.ac.uk/objects/uuid:7390f9fd-efe9-4e59-9cfe-b8beaaed8e7d
https://ora.ox.ac.uk/objects/uuid:7390f9fd-efe9-4e59-9cfe-b8beaaed8e7d
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Extending programming languages with stochastic behaviour such as probabilistic choices or random sampling has a long tradition in computer science. A recent development in this direction is a declarative probabilistic programming language, proposed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3665debd7cd06bfedbfc0a14571806aa
https://doi.org/10.1145/3584372.3588656
https://doi.org/10.1145/3584372.3588656
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lanzinger, M
It is well known that the tractability of conjunctive query answering can be characterised in terms of treewidth when the problem is restricted to queries of bounded arity. We show that a similar characterisation also exists for classes of queries wi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d436336d2e85e4830ddbd81ac40ff618
https://doi.org/10.1145/3517804.3524152
https://doi.org/10.1145/3517804.3524152
Modern applications combine information from a great variety of sources. Oftentimes, some of these sources, like machine-learning systems, are not strictly binary but associated with some degree of (lack of) confidence in the observation. We propose
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa0c17f5986817d30e77820653f46912
http://arxiv.org/abs/2202.01718
http://arxiv.org/abs/2202.01718
Publikováno v:
Proceedings of AAAI 2022
We investigate the computational complexity of mining guarded clauses from clausal datasets through the framework of inductive logic programming (ILP). We show that learning guarded clauses is NP-complete and thus one step below the Sigma2-complete t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b8039fdbe9989d540601e6b62ce72a8
We study the fixed-parameter tractability of the following fundamental problem: given two directed graphs $\vec H$ and $\vec G$, count the number of copies of $\vec H$ in $\vec G$. The standard setting, where the tractability is well understood, uses
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c19566b5ff7dc765af3cc6813e01d6a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.