Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Lily Gallois"'
Autor:
Sophie Tison, Marie-Laure Mugnier, Lily Gallois, Michel Leclère, Federico Ulliana, Pierre Bourhis
Publikováno v:
IJCAI 2019-28th International Joint Conference on Artificial Intelligence
IJCAI 2019-28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
IJCAI
HAL
[Research Report] LIRMM (UM, CNRS). 2020
28th nternational Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
IJCAI 2019-28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1581-1587, ⟨10.24963/ijcai.2019/219⟩
IJCAI
HAL
[Research Report] LIRMM (UM, CNRS). 2020
28th nternational Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence
IJCAI 2019-International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China
We study the notion of boundedness in the context of positive existential rules, that is, whether there exists an upper bound to the depth of the chase procedure , that is independent from the initial instance. By focussing our attention on the obliv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81b5688c7aefabe3e3a33e5416847a5d
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02148142/document
Autor:
Ansten Klev
This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the occasion of Göran Sundholm's retirement in 2019, t