![]() |
| ||
JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping | |||
Detailed Information URL: http://citeseer.nj.nec.com/202219.html Title: ResearchIndex: Structure-preserving specification languages for knowledge-based systems Description: 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 the system. Directory: Computers/Programming/Languages/Specification | |||
Reviews | |||
Be the first to review this site | |||
Click here to subscribe for Jasminecorp's product News. Home
|| Web Designing
|| Get
a Domain Name || Host
your Web site || Terms
of Service |
|