Checking Chase Termination over Ontologies of Existential Rules with Equality
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020) |
| Publikationsstatus | Veröffentlicht - 1 Feb. 2020 |
| Peer-Review-Status | Ja |