An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $\mathcalE\!\!\:L$ (bibtex)
by Carsten Lutz, Inanç Seylan, Frank Wolter
Reference:
Carsten Lutz, Inanç Seylan, Frank Wolter, "An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic $\mathcalE\!\!\:L$", In KR-12, AAAI Press, 2012.
Bibtex Entry:
@inproceedings{LSW12,
  author    = {Carsten Lutz and Inan{\c{c}} Seylan and Frank Wolter},
  pi        = {Carsten Lutz},
  title     = {An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic {$\mathcal{E\!\!\:L}$}},
  booktitle = KR-12,
  year      = 2012,
  publisher = {AAAI Press},
  pdffile = {../pipubs/subprojects/P02/01-Lutz etal-2012 (KR).pdf},
keywords = {easecrc_knowledge}
}
Powered by bibtexbrowser