furbachguentherobermaierFLAIRS09

Ulrich Furbach, Heiko G\"unther, Claudia Obermaier. A Knowledge Compilation Technique for ALC TBoxes. In Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference, May 19-21, 2009, Sanibel Island, Florida, USA, 2009.

BibTex Reference

@InProceedings{furbachguentherobermaierFLAIRS09,
   Author = {Furbach, Ulrich and G\"unther, Heiko and        Obermaier, Claudia},
   Title = {{{A Knowledge Compilation Technique for ALC TBoxes}}},
   BookTitle = {{Proceedings of the Twenty-Second International Florida        Artificial Intelligence Research Society Conference, May        19-21, 2009, Sanibel Island, Florida, USA}},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)