A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
type: Item
instance of: scholarly article
title: A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
zbMATH Open document ID: 1004.68552
DOI: 10.1007/BF01531174
author: Mark E. Stickel
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-13T00:00:00Z
Mathematics Subject Classification ID: 68T50
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1005853
MaRDI profile type: Publication
cites work: Theorem Proving via General Matings
cites work: Cost-based abduction and MAP explanation
cites work: Q3786007
cites work: Q4039734
cites work: Refutation graphs
cites work: Q3675177
cites work: A Prolog technology theorem prover: Implementation by an extended Prolog compiler
description: scientific article; zbMATH DE number 1005853