Query Answering with Transitive and ...

Document type :
Communication dans un congrès avec actes
Title :
Query Answering with Transitive and Linear-Ordered Data
Author(s) :
Amarilli, Antoine [Auteur]
DBWeb
Benedikt, Michael [Auteur]
Computing Science Laboratory - Oxford University
Bourhis, Pierre [Auteur] refId
Linking Dynamic Data [LINKS]
Vanden Boom, Michael [Auteur]
Computing Science Laboratory - Oxford University
Conference title :
Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016
City :
New York
Country :
Etats-Unis d'Amérique
Start date of the conference :
2016-07-09
HAL domain(s) :
Informatique [cs]
Informatique [cs]/Intelligence artificielle [cs.AI]
English abstract : [en]
We consider entailment problems involving powerful constraint languages such as guarded existential rules, in which additional semantic restrictions are put on a set of distinguished relations. We consider restricting a ...
Show more >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL
Files
Thumbnail
Thumbnail
Thumbnail