scientific article

zbMath0643.68127MaRDI QIDQ3786007

P. T. Cox, Tomasz Pietrzykowski

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

expert systemsknowledge baseinductive reasoningcauses for eventsderivation of hypotheses

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Artificial intelligence (68T99)

Related Items (12)

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

This page was built for publication: