Skip to content

Computing Cores for Existential Rules with the Standard Chase and ASP.

Markus Krtzsch

VenueA*KR
Year2020
ProceedingsKR

Browse the full KR paper archive.