Graded hypothesis theories

DOI10.1016/S0304-3975(96)00131-4zbMath0874.68281MaRDI QIDQ673394

Christine Froidevaux, Philippe Chatalic, Camilla B. Schwind

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

multimodal logicmodal operatorsgraded logichypothesis theoryimperfect knowledgepartial inconsistencyreasoning about expert domains

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)

Related Items (1)

Possibilistic uncertainty handling for answer set programming

Cites Work

• Probabilistic logic
• A logic to reason about likelihood
• An approach to default reasoning based on a first-order conditional logic: Revised report
• A logical framework for default reasoning
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Qualitative probability as an intensional logic
• Fuzzy sets as a basis for a theory of possibility
• Complexity Results for Nonmonotonic Logics
• Modal nonmonotonic logics
• Modal logic based theory for non-monotonic reasoning
• Autoepistemic logic
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The completeness of the first-order functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Graded hypothesis theories