scientific article
From MaRDI portal
Publication:3786007
zbMath0643.68127MaRDI QIDQ3786007
P. T. Cox, Tomasz Pietrzykowski
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction, A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation, Consistency-based and abductive diagnoses as generalised stable models, Intuitive minimal abduction in sequent calculi, Temporal abductive reasoning about biochemical reactions, A unifying view for logic programming with non-monotonic reasoning, ABox abduction in the description logic \(\mathcal{ALC}\), Updating knowledge bases, Linear resolution for consequence finding, A Prolog technology theorem prover: A new exposition and implementation in Prolog, Meaning and dialogue coherence: A proof-theoretic investigation, On the duality of abduction and model generation in a framework for model generation with equality
