Warning Most of the links here do not work yet.
Knowledge Representation is a crucial issue in AI. Any system of KR should support modularity in some form so that the knowledge of the system can be changed easily. For this reason it is desireable to have a declarative system of KR.