[1] At least conceptually, architecture axioms are explicit in EBL-Prodigy. However, computationally, the architecture has those axioms implicitly included into the implementation (Alicia Pérez, personal communication).

[2] See [Steels 90] on knowledge-level descriptions of expert systems and [van de Velde 90] for an application to learning systems.