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 (22)
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
This page was built for publication:
