Explaining Reasoning from Knowledge Level Models.

Jean-Marc David, Jean-Paul Krivine

Browse the full ECAI paper archive.