From: antonio.jimeno@cui.unige.ch   
      
      Dear all,   
      
      I am trying to find papers about theory refinement, more precisely   
      related on the possibility of finding incompleteness in my domain   
      theory when I am trying to solve a problem. I have found papers from   
      different people but those are 10 years old. Do you have references   
      to more up to date papers?   
      
      Thank you in advance,   
      Antonio   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)