Containment in Monadic Disjunctive Datalog, ...

Type de document :
Communication dans un congrès avec actes
Titre :
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Auteur(s) :
Bourhis, Pierre [Auteur] refId
Linking Dynamic Data [LINKS]
Lutz, Carsten [Auteur]
Computer science departement [Bremen]
Titre de la manifestation scientifique :
Principles of Knowledge Representation and Reasoning
Ville :
Cape Town
Pays :
Afrique du Sud
Date de début de la manifestation scientifique :
2016-04-25
Discipline(s) HAL :
Informatique [cs]/Intelligence artificielle [cs.AI]
Langue :
Anglais
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL