Sound, Complete, and Minimal Query Rewriting for Existential Rules

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

  • Mélanie König - (Author)
  • Michel Leclère - (Author)
  • Marie-Laure Mugnier - (Author)
  • Michaël Thomazo - , Chair of Computational Logic (Author)

Details

Original languageEnglish
Title of host publicationProceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)
Pages3017-3025
Number of pages9
Publication statusPublished - 2013
Peer-reviewedYes