Zhang et al. "Enhancing Datalog Reasoning with Hypertree Decompositions." International Joint Conference on Artificial Intelligence, 2023. doi:10.24963/IJCAI.2023/377
Markdown
[Zhang et al. "Enhancing Datalog Reasoning with Hypertree Decompositions." International Joint Conference on Artificial Intelligence, 2023.](https://mlanthology.org/ijcai/2023/zhang2023ijcai-enhancing/) doi:10.24963/IJCAI.2023/377
BibTeX
@inproceedings{zhang2023ijcai-enhancing,
title = {{Enhancing Datalog Reasoning with Hypertree Decompositions}},
author = {Zhang, Xinyue and Hu, Pan and Nenov, Yavor and Horrocks, Ian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2023},
pages = {3383-3393},
doi = {10.24963/IJCAI.2023/377},
url = {https://mlanthology.org/ijcai/2023/zhang2023ijcai-enhancing/}
}