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):

Displayed 10 items.

• Logic programming, abduction and probability. A top-down anytime algorithm for estimating prior and posterior probabilities (Q688819) ‎ (← links)
• A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) ‎ (← links)
• A linear constraint satisfaction approach to cost-based abduction (Q1313953) ‎ (← links)
• Theory refinement combining analytical and empirical methods (Q1327162) ‎ (← links)
• Cost-based abduction and MAP explanation (Q1327167) ‎ (← links)
• Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) ‎ (← links)
• Abductive retrieval of structured documents (Q1381730) ‎ (← links)
• The role of relevance in explanation. II: Disjunctive assignments and approximate independence (Q1809361) ‎ (← links)
• The role of relevance in explanation. I: Irrelevance as statistical independence (Q2366556) ‎ (← links)
• An algorithm for finding MAPs for belief networks through cost-based abduction (Q5906312) ‎ (← links)