Index of /people/fikes/cs222/2001

 Name                    Last modified       Size  Description

 Parent Directory        23-Jan-2002 11:25      -  
 actions.htm             14-Mar-2001 14:37     3k  
 actions_files/          28-Feb-2003 14:51      -  
 daml axiomatization.htm 07-Mar-2001 15:03     3k  
 daml axiomatization_..> 28-Feb-2003 14:42      -  
 daml.htm                07-Mar-2001 15:00     3k  
 daml_files/             28-Feb-2003 14:51      -  
 damlaxiomatization.htm  08-Mar-2001 11:37     3k  
 damlaxiomatization_f..> 28-Feb-2003 14:43      -  
 defaults.htm            07-Mar-2001 15:12     3k  
 defaults_files/         28-Feb-2003 14:51      -  
 descriptionlogic/       28-Feb-2003 14:51      -  
 desktop.ini             13-Mar-2001 11:17     1k  
 folder settings/        28-Feb-2003 14:51      -  
 frameexample/           28-Feb-2003 14:47      -  
 framelanguages/         28-Feb-2003 14:51      -  
 inference/              07-Feb-2001 15:14      -  
 introduction/           28-Feb-2003 14:47      -  
 kif/                    19-Jan-2001 14:38      -  
 nonmonotonicreasonin..> 07-Mar-2001 15:06     3k  
 ontologies/             07-Feb-2001 15:26      -  
 pddl.ps                 20-Oct-1998 12:47   402k  
 qualitativemodeling.htm 14-Mar-2001 14:32     3k  
 qualitativemodeling_..> 28-Feb-2003 14:42      -  
 queryanswering/         28-Feb-2003 14:51      -  
 rdf.htm                 08-Mar-2001 11:34     3k  
 rdf_files/              28-Feb-2003 14:51      -  
 tellaskuntell/          28-Feb-2003 14:51      -  
 time.htm                23-Feb-2001 15:23     3k  
 time_files/             28-Feb-2003 14:51      -  
 unitsandmeasures/       28-Feb-2003 14:51      -  
 xml.htm                 07-Mar-2001 14:51     3k  
 xml_files/              28-Feb-2003 14:51      -