Checking Chase Termination over Ontologies of Existential Rules with Equality

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

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020)
Publication statusPublished - 1 Feb 2020
Peer-reviewedYes