Login / Signup

Diagnostic reasoning with A-Prolog.

Marcello BalducciniMichael Gelfond
Published in: Theory Pract. Log. Program. (2003)
Keyphrases