PyReason is used in combination with rule learning and abductive inference to identify locations of “dark vessels” – maritime vessels that turn off their AIS system. This research was first presented at AAMAS-25. The paper is available here: https://arxiv.org/abs/2502.01503