Systematic generation of conditional knowledge bases up to renaming and equivalence

DOI10.1007/978-3-030-19570-0_18OpenAlexW2944655497MaRDI QIDQ2296712

Christoph 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

equivalenceisomorphismconditionalrenamingconditional knowledge basecanonical normal form conditionalelementwise equivalencegeneration of knowledge basesnormal form conditional

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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: Systematic generation of conditional knowledge bases up to renaming and equivalence