Pages that link to "Item:Q1354059"

The following pages link to A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation (Q1354059):

Displaying 3 items.

• Artificial explanations: The epistemological interpretation of explanation in AI (Q1036078) (← links)
• A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
• Cost-based abduction and MAP explanation (Q1327167) (← links)