scientific article
From MaRDI portal
Publication:3491526
zbMath0709.03022MaRDI QIDQ3491526
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logicincomplete informationcausal modelshypothetical reasoningdiagnostic problemSecond Generation Expert Systems
Modal logic (including the logic of norms) (03B45) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Mechanization of proofs and logical operations (03B35) Other applications of logic (03B80)
Related Items (2)
Consistency-based and abductive diagnoses as generalised stable models ⋮ A framework for controlling model-based diagnosis systems with multiple actions
This page was built for publication:
