![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| xml_files/ | 28-Feb-2003 14:51 | - | |
| xml.htm | 07-Mar-2001 14:51 | 2.5K | |
| unitsandmeasures/ | 28-Feb-2003 14:51 | - | |
| time_files/ | 28-Feb-2003 14:51 | - | |
| time.htm | 23-Feb-2001 15:23 | 2.5K | |
| tellaskuntell/ | 28-Feb-2003 14:51 | - | |
| rdf_files/ | 28-Feb-2003 14:51 | - | |
| rdf.htm | 08-Mar-2001 11:34 | 2.6K | |
| queryanswering/ | 28-Feb-2003 14:51 | - | |
| qualitativemodeling_files/ | 28-Feb-2003 14:42 | - | |
| qualitativemodeling.htm | 14-Mar-2001 14:32 | 2.7K | |
| pddl.ps | 20-Oct-1998 12:47 | 402K | |
| ontologies/ | 07-Feb-2001 15:26 | - | |
| nonmonotonicreasoning.htm | 07-Mar-2001 15:06 | 2.7K | |
| kif/ | 19-Jan-2001 14:38 | - | |
| introduction/ | 28-Feb-2003 14:47 | - | |
| inference/ | 07-Feb-2001 15:14 | - | |
| framelanguages/ | 28-Feb-2003 14:51 | - | |
| frameexample/ | 28-Feb-2003 14:47 | - | |
| folder settings/ | 28-Feb-2003 14:51 | - | |
| desktop.ini | 13-Mar-2001 11:17 | 274 | |
| descriptionlogic/ | 28-Feb-2003 14:51 | - | |
| defaults_files/ | 28-Feb-2003 14:51 | - | |
| defaults.htm | 07-Mar-2001 15:12 | 2.6K | |
| damlaxiomatization_files/ | 28-Feb-2003 14:43 | - | |
| daml axiomatization_files/ | 28-Feb-2003 14:42 | - | |
| damlaxiomatization.htm | 08-Mar-2001 11:37 | 2.7K | |
| daml axiomatization.htm | 07-Mar-2001 15:03 | 2.7K | |
| daml_files/ | 28-Feb-2003 14:51 | - | |
| daml.htm | 07-Mar-2001 15:00 | 2.6K | |
| actions_files/ | 28-Feb-2003 14:51 | - | |
| actions.htm | 14-Mar-2001 14:37 | 2.6K | |