DMCA

Abducing through negation as failure: stable models within the independent choice logic

by David Poole
Venue:J. Log. Program
Citations:50 - 8 self