%0 Conference Paper %1 conf/aaai/MeyerLBP06 %A Meyer, Thomas Andreas %A Lee, Kevin %A Booth, Richard %A Pan, Jeff Z. %B AAAI %D 2006 %I AAAI Press %K %P 269-274 %T Finding Maximally Satisfiable Terminologies for the Description Logic ALC. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2006.html#MeyerLBP06

@inproceedings{conf/aaai/MeyerLBP06, added-at = {2023-12-13T05:20:22.000+0100}, author = {Meyer, Thomas Andreas and Lee, Kevin and Booth, Richard and Pan, Jeff Z.}, biburl = {https://www.bibsonomy.org/bibtex/23790f279b0f2b556c57166b287ebea5f/admin}, booktitle = {AAAI}, crossref = {conf/aaai/2006}, ee = {http://www.aaai.org/Library/AAAI/2006/aaai06-043.php}, interhash = {a16628b0b5f00d14837c5cc80d28ef30}, intrahash = {3790f279b0f2b556c57166b287ebea5f}, keywords = {}, pages = {269-274}, publisher = {AAAI Press}, timestamp = {2023-12-13T05:20:22.000+0100}, title = {Finding Maximally Satisfiable Terminologies for the Description Logic ALC.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2006.html#MeyerLBP06}, year = 2006 }