@article{solvingepistemiclogicprogramsusing, title = {Solving Epistemic Logic Programs using Generate-and-Test with Propagation}, author = {Jorge Fandinno and Lute Lillo}, year = {2024}, eprint = {2410.22130}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2410.22130v2}, }