Skip to content

Finite Axiomatizability by Disjunctive Existential Rules.

Marco Calautti, Marco Console, Andreas Pieris

VenueA*KR
Year2025
ProceedingsKR

Browse the full KR paper archive.