On the antecedent normal form of conditional knowledge bases

DOI10.1007/978-3-030-29765-7_15OpenAlexW2971914411MaRDI QIDQ2297764

Steven Kutsch, Christoph Beierle

Publication date: 20 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29765-7_15

zbMATH Keywords

equivalenceconditionalknowledge baserenamingantecedent normal formknowledge base generationANFantecedentwise equivalence

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (2)

Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations ⋮ Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings

This page was built for publication: On the antecedent normal form of conditional knowledge bases