Explaining Reasoning from Knowledge Level Models

Jean-Marc David, Jean-Paul Krivine. Explaining Reasoning from Knowledge Level Models. In ECAI. pages 186-188, 1990.

Abstract

Abstract is missing.