Refinements of the CIFF Procedure. Endriss, U., Hatzitaskos, M., Mancarella, P., Sadri, F., Terreni, G., & Toni, F. In Bundy, A. & Fleuriot, J., editors, Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, July, 2005. University of Edinburgh. Extended Abstract
Refinements of the CIFF Procedure [pdf]Paper  bibtex   
@InProceedings{EndrissEtAlARW2005,
  author = 	 {Ulle Endriss and Markos Hatzitaskos and Paolo Mancarella and Fariba Sadri and Giacomo Terreni and Francesca Toni},
  title = 	 {Refinements of the CIFF Procedure},
  booktitle =    {Proceedings of the 12th Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice},    organization = {University of Edinburgh},  
  editor =       {Alan Bundy and Jacques Fleuriot},
  year = 	 {2005},
  month = 	 {July},
  note =         {Extended Abstract},
  url =          {http://www.illc.uva.nl/~ulle/pubs/files/EndrissEtAlARW2005.pdf}
}
Downloads: 0