Index of /people/fikes/cs222/1998
Name Last modified Size Description
Parent Directory 23-Jan-2002 11:25 -
Actions/ 04-Dec-1998 14:17 -
Description Logics/ 28-Feb-2003 14:49 -
Frame Example/ 28-Feb-2003 14:52 -
Frame Language/ 28-Feb-2003 14:52 -
Inference/ 05-Oct-1998 17:05 -
Introduction/ 28-Feb-2003 14:52 -
KIF/ 28-Sep-1998 10:43 -
Model Elimination/ 28-Feb-2003 14:50 -
Model Formulation/ 28-Feb-2003 14:51 -
NonMonotonicReasoning/ 28-Feb-2003 14:46 -
OKBC Tell and Ask/ 28-Feb-2003 14:50 -
OKBC/ 30-Oct-1998 14:10 -
Ontolingua/ 28-Feb-2003 14:52 -
Ontologies/ 28-Feb-2003 14:52 -
Ontology Design/ 28-Feb-2003 14:52 -
Qualitative Modeling/ 28-Feb-2003 14:47 -
Time/ 08-Dec-1998 12:14 -
Apache/1.3.3 Server at www.ksl.Stanford.EDU Port 80