![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 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/ | 30-Oct-1998 14:10 | - | |
| OKBC Tell and Ask/ | 28-Feb-2003 14:50 | - | |
| 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 | - | |