All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI 2020) |
| Herausgeber (Verlag) | International Joint Conferences on Artificial Intelligence |
| Publikationsstatus | Veröffentlicht - 1 Juli 2020 |
| Peer-Review-Status | Ja |