Oblivious and Semi-Oblivious Boundedness ...

Type de document :
Communication dans un congrès avec actes
DOI :
10.24963/ijcai.2019/219
Titre :
Oblivious and Semi-Oblivious Boundedness for Existential Rules
Auteur(s) :
Bourhis, Pierre [Auteur] refId
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Self-adaptation for distributed services and large software systems [SPIRALS]
Leclère, Michel [Auteur]
Graphs for Inferences on Knowledge [GRAPHIK]
Mugnier, Marie-Laure [Auteur]
Graphs for Inferences on Knowledge [GRAPHIK]
Tison, Sophie [Auteur] refId
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Linking Dynamic Data [LINKS]
Ulliana, Federico [Auteur]
Graphs for Inferences on Knowledge [GRAPHIK]
Gallois, Lily [Auteur]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Linking Dynamic Data [LINKS]
Titre de la manifestation scientifique :
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence
Ville :
Macao
Pays :
Chine
Date de début de la manifestation scientifique :
2019-08-10
Titre de la revue :
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Date de publication :
2019-08
Discipline(s) HAL :
Informatique [cs]/Intelligence artificielle [cs.AI]
Résumé en anglais : [en]
We study the notion of boundedness in the contextof positive existential rules, that is, whether thereexists an upper bound to the depth of the chase pro-cedure, that is independent from the initial instance.By focussing ...
Lire la suite >
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Projet ANR :
Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese
Spécification intensive en Coq d'intégration de données orientée sécurité
DÉfis pour la Logique, les Transducteurs et les Automates
Collections :
Source :
Harvested from HAL
Fichiers
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail