Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation.

Jos Jlio Alferes, Carlos Viegas Damsio, Lus Moniz Pereira

Browse the full ECAI paper archive.