%0 Conference Paper %1 conf/kr/LutzSW12 %A Lutz, Carsten %A Seylan, Inanç %A Wolter, Frank %B KR %D 2012 %E Brewka, Gerhard %E Eiter, Thomas %E McIlraith, Sheila A. %I AAAI Press %K approximation interpolation %T An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. %U http://dblp.uni-trier.de/db/conf/kr/kr2012.html#LutzSW12 %@ 978-1-57735-560-1

@inproceedings{conf/kr/LutzSW12, added-at = {2012-11-07T11:51:12.000+0100}, author = {Lutz, Carsten and Seylan, Inanç and Wolter, Frank}, biburl = {https://www.bibsonomy.org/bibtex/2bb2e348dc57a8f6997a4f0b8ba29f97d/jbeneke}, booktitle = {KR}, crossref = {conf/kr/2012}, editor = {Brewka, Gerhard and Eiter, Thomas and McIlraith, Sheila A.}, ee = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4511}, interhash = {f3a4b27c22844b74c04b500b2aad0cdb}, intrahash = {bb2e348dc57a8f6997a4f0b8ba29f97d}, isbn = {978-1-57735-560-1}, keywords = {approximation interpolation}, publisher = {AAAI Press}, timestamp = {2012-11-07T11:51:12.000+0100}, title = {An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2012.html#LutzSW12}, year = 2012 }