Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
https://hal.inria.fr/hal-01413887 Contributor : Inria LinksConnect in order to contact the contributor Submitted on : Sunday, December 11, 2016 - 6:14:16 PM Last modification on : Wednesday, March 23, 2022 - 3:51:22 PM
Pierre Bourhis, Carsten Lutz. Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
. Principles of Knowledge Representation and Reasoning, Apr 2016, Cape Town, South Africa. ⟨hal-01413887⟩