USING QUALITATIVE REASONING TO UNDERSTAND FINANCIAL ARITHMETICChidanand AptéSe June Hong1986AAAI 1986
What Can Machines Know? On the Epistemic Properties of MachinesRonald FaginJoseph Y. Halpernet al.1986AAAI 1986