scientific article
From MaRDI portal
Publication:3198885
zbMath0713.68059MaRDI QIDQ3198885
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Theory refinement combining analytical and empirical methods, Limited reasoning in first-order knowledge bases, On rules of abduction., A rational reconstruction of nonmonotonic truth maintenance systems, On the complexity of entailment in propositional multivalued logics, The complexity of minimum partial truth assignments and implication in negation-free formulae, Relevance from an epistemic perspective, Support set selection for abductive and default reasoning, Abductive consequence relations, Recovering Consistency by Forgetting Inconsistency, Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty, An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution, The computational complexity of abduction, Abductive reasoning in neural-symbolic systems, Linear resolution for consequence finding, Representation theorems for explanatory reasoning based on cumulative models, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data, Artificial explanations: The epistemological interpretation of explanation in AI, Explanation in artificial intelligence: insights from the social sciences, Tractable reasoning via approximation, Abduction as belief revision, Preferences and explanations
