jasminecorp.net directory
Updated Blogs
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....

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
 


Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.

©2004 Jasmine Computers Inc.

Click here to subscribe for Jasminecorp's product News.

Home || Web Designing || Get a Domain Name || Host your Web site || Terms of Service
Our Portfolio || Our Clients || Job Opportunities || Free GuestBook || Free Quote
Buy Books || Tell a Friend || Special Offer || Contact Us || Free Tutorial || Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory

 

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Get a Domain Name:
.com .org .net
.info .biz .us