A transformation system for unique minimal normal forms of conditional knowledge bases

DOI10.1007/978-3-319-61581-3_22zbMath1491.68214OpenAlexW2625194074MaRDI QIDQ2401873

Christoph Beierle, Gabriele Kern-Isberner, Christian Eichhorn

Publication date: 5 September 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-61581-3_22

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

Ranking kinematics for revising by contextual information ⋮ A kinematics principle for iterated revision ⋮ 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