Systematic generation of conditional knowledge bases up to renaming and equivalence
From MaRDI portal
Publication:2296712
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
equivalenceisomorphismconditionalrenamingconditional knowledge basecanonical normal form conditionalelementwise equivalencegeneration of knowledge basesnormal form conditional
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