Index of /people/fikes/cs222/1998

      Name                    Last modified       Size  Description

[DIR] Parent Directory 23-Jan-2002 11:25 - [DIR] Actions/ 04-Dec-1998 14:17 - [DIR] Description Logics/ 28-Feb-2003 14:49 - [DIR] Frame Example/ 28-Feb-2003 14:52 - [DIR] Frame Language/ 28-Feb-2003 14:52 - [DIR] Inference/ 05-Oct-1998 17:05 - [DIR] Introduction/ 28-Feb-2003 14:52 - [DIR] KIF/ 28-Sep-1998 10:43 - [DIR] Model Elimination/ 28-Feb-2003 14:50 - [DIR] Model Formulation/ 28-Feb-2003 14:51 - [DIR] NonMonotonicReasoning/ 28-Feb-2003 14:46 - [DIR] OKBC Tell and Ask/ 28-Feb-2003 14:50 - [DIR] OKBC/ 30-Oct-1998 14:10 - [DIR] Ontolingua/ 28-Feb-2003 14:52 - [DIR] Ontologies/ 28-Feb-2003 14:52 - [DIR] Ontology Design/ 28-Feb-2003 14:52 - [DIR] Qualitative Modeling/ 28-Feb-2003 14:47 - [DIR] Time/ 08-Dec-1998 12:14 -

Apache/1.3.3 Server at www.ksl.Stanford.EDU Port 80