Transforming Conditional Knowledge Bases into Renaming Normal Form

Open in new window