Goal-Driven Query Answering for Existential Rules With Equality.

Michael Benedikt, Boris Motik, Efthymia Tsamoura

Browse the full AAAI paper archive.