Reducing Query Answering to Satisfiability in Nonmonotonic Logics.

Riccardo Rosati

Browse the full AAAI paper archive.