scientific article; zbMATH DE number 408801

MaRDI QIDQ4202946zbMATH OpenFDO

Authors

Publication date 6 September 1993

zbMATH Keywords

plausibility logicnonmonotonic Gentzen calculusrational logics

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Recommendations

• Completeness and incompleteness for plausibility logic
• AI 2003: Advances in Artificial Intelligence
• Logics for belief as maximally plausible possibility
• AI 2005: Advances in Artificial Intelligence
• Graphs and plausibility logic

Cited in

(20)

• Logics for belief as maximally plausible possibility
• Modulo reasoning. I: Logic of undeducibility
• Plausible reasoning: a first-order approach
• Propositional plausible logic: Introduction and implementation
• scientific article; zbMATH DE number 1923157 (Why is no real title available?)
• A logic of plausible justifications
• The value of the four values
• AI 2005: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• Cumulativity without closure of the domain under finite unions
• scientific article; zbMATH DE number 1923156 (Why is no real title available?)
• scientific article; zbMATH DE number 4166941 (Why is no real title available?)
• On the transitivity of logical consequence without assuming monotonicity
• Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
• Information and evidence in logic systems
• AI 2003: Advances in Artificial Intelligence
• More about plausibility orderings
• AI 2005: Advances in Artificial Intelligence
• Graphs and plausibility logic
• Factual and plausible reasoning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4202946)