@inbook{Bogaerts+2024+107+148,
url = {https://doi.org/10.1515/9783111426143-004},
title = {4 Reasoning with first-order logic},
booktitle = {Demystifying Artificial Intelligence},
booktitle = {Symbolic, Data-Driven, Statistical and Ethical AI},
author = {Bart Bogaerts},
editor = {Emmanuel Gillain},
publisher = {De Gruyter},
address = {Berlin, Boston},
pages = {107--148},
doi = {10.1515/9783111426143-004},
isbn = {9783111426143},
year = {2024},
}