Skip to content

ABD: Default-Exception Abduction in Finite First-Order Worlds.

Serafim Batzoglou

VenueA*KR
Year2026
ProceedingsKR

Browse the full KR paper archive.