Systematic generation of conditional knowledge bases up to renaming and equivalence

DOI10.1007/978-3-030-19570-0_18MaRDI QIDQ2296712zbMATH OpenOpenAlexFDO

Authors C. Beierle, Steven Kutsch

Publication date 18 February 2020

Full work available at URL https://doi.org/10.1007/978-3-030-19570-0_18

zbMATH Keywords

canonical normal form conditionalconditionalconditional knowledge baseelementwise equivalenceequivalencegeneration of knowledge basesisomorphismnormal form conditionalrenaming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
• Normal forms of conditional knowledge bases respecting entailments and renamings
• On the antecedent normal form of conditional knowledge bases
• A transformation system for unique minimal normal forms of conditional knowledge bases
• Structural inference from conditional knowledge bases

Cited in

(6)

• Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings
• Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations
• On the antecedent normal form of conditional knowledge bases
• A transformation system for unique minimal normal forms of conditional knowledge bases
• scientific article; zbMATH DE number 68125 (Why is no real title available?)
• Reasoning with System W and infeasible worlds

This page was built for publication: Systematic generation of conditional knowledge bases up to renaming and equivalence

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