scientific article; zbMATH DE number 1303450

Dubois, Didier, Salem Benferhat, Henri Prade

Publication date: 9 February 2000

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

nonmonotonic reasoning prioritized knowledge bases

Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Paraconsistent logics (03B53) Other applications of logic (03B80)

Related Items

A logic programming framework for possibilistic argumentation: Formalization and logical properties, On the transformation between possibilistic logic bases and possibilistic causal networks, An adaptive logic based on Jaśkowski's approach to paraconsistency, A split-combination approach to merging knowledge bases in possibilistic logic, Possibilistic logic: a retrospective and prospective view, ``Platonic thought experiments: how on earth?, Quantitative possibility theory: logical- and graphical-based representations, Being Consistent About Inconsistency: Toward the Rational Fusing of Inconsistent Propositional Logic Bases, Sum-based weighted belief base merging: from commensurable to incommensurable framework, Combining multiple prioritized knowledge bases by negotiation, Logic based merging, Twenty-Five Years of Preferred Subtheories, Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification, A procedural criterion for final derivability in inconsistency-adaptive logics, The correlation problem in sensor fusion in a possibilistic framework, CONFLICT RESOLUTION IN THE FUSION OF FUZZY KNOWLEDGE VIA INFORMATION MAXIMIZATION, Complexity and Cautiousness Results for Reasoning from Partially Preordered Belief Bases, Yes fellows, most human reasoning is complex, Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case, Weakening conflicting information for iterated revision and knowledge integration, Qualitative choice logic