• Publications
  • Influence
A software architecture for knowledge-based systems
The paper introduces a software architecture for the speci®cation and veri®cation of knowledgebased systems combining conceptual and formal techniques. Our focus is component-based speci®cationExpand