First-Order Logic Knowledge Interchange Format (KIF)
1/17/01
Professor Richard Fikes
Computer Science Department
Stanford University
CS222
Winter 2001
Knowledge Systems Laboratory, Stanford University
Next slide
Back to first slide
View graphic version