Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Tourret, Sophie"'
Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to repair incomplete knowledge bases, and to provide possible explanations
Externí odkaz:
http://arxiv.org/abs/2205.08449
We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of $\lambda$-terms and rely
Externí odkaz:
http://arxiv.org/abs/2102.00453
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary
Externí odkaz:
http://arxiv.org/abs/2007.00757
Autor:
Cropper, Andrew, Tourret, Sophie
Many forms of inductive logic programming (ILP) use \emph{metarules}, second-order Horn clauses, to define the structure of learnable programs and thus the hypothesis space. Deciding which metarules to use for a given learning task is a major open pr
Externí odkaz:
http://arxiv.org/abs/1907.10952
Autor:
Tourret, Sophie, Cropper, Andrew
We present the derivation reduction problem for SLD-resolution, the undecidable problem of finding a finite subset of a set of clauses from which the whole set can be derived using SLD-resolution. We study the reducibility of various fragments of sec
Externí odkaz:
http://arxiv.org/abs/1902.09900
Autor:
Tourret, Sophie
Ce mémoire présente le résultat de mon travail de thèse sur la génération d'impliqués premiers en logique équationnelle fermée, i.e., la génération des conséquences les plus générales de formules logiques contenants des équations et de
Externí odkaz:
http://www.theses.fr/2016GREAM006/document
Autor:
BENTKAMP, ALEXANDER, BLANCHETTE, JASMIN, NUMMELIN, VISA, TOURRET, SOPHIE, VUKMIROVIĆ, PETAR, WALDMANN, UWE
Publikováno v:
Communications of the ACM; Apr2023, Vol. 66 Issue 4, p80-90, 11p, 2 Color Photographs, 2 Diagrams, 1 Chart
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.
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.