A prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
1991 ◽
Vol 4
(1-2)
◽
pp. 89-105
◽
1990 ◽
pp. 233-252
◽