TY  - RPRT
TI  - On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases
AU  - Riley Kinahan
AU  - Spencer Killen
AU  - Kevin Wan
AU  - Jia-Huai You
PY  - 2024
DO  - 10.1017/s1471068424000255
UR  - https://arxiv.org/abs/2408.09626
ID  - 2408.09626
ER  -