ResearchIndex: Structure-preserving specification languages for knowledge-based systems

  Link Details for: ResearchIndex: Structure-preserving specification languages for knowledge-based systems

Link Title:	ResearchIndex: Structure-preserving specification languages for knowledge-based systems
Link URL:	http://citeseer.ist.psu.edu/202219.html
Link Details:	Much work on validation and verification of knowledge based systems (KBSs) has been done in implementation languages, mostly rule based. Recent papers suggest it is useful to do validation and verification in a more abstract and formal specification of th
Category:	Top : Computers : Programming : Languages : Specification
Link Type:
ScreenShot: