Least General Generalizations in Description Logic: Verification and Existence (bibtex)
by Jean Christoph Jung, Carsten Lutz, Frank Wolter
Reference:
Jean Christoph Jung, Carsten Lutz, Frank Wolter, "Least General Generalizations in Description Logic: Verification and Existence", In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, February 7-12, 2020, AAAI Press, pp. 2854-2861, 2020.
Bibtex Entry:
@inproceedings{DBLP:conf/aaai/JungLW20,
   author    = {Jean Christoph Jung and
                Carsten Lutz and
                Frank Wolter},
   title     = {Least General Generalizations in Description Logic: 
Verification and
                Existence},
   booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
                2020, The Thirty-Second Innovative Applications of Artificial Intelligence
                Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
                Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
                February 7-12, 2020},
   pages     = {2854--2861},
   year      = {2020},
   publisher = {{AAAI} Press},
keywords = {easecrc_knowledge}
}
Powered by bibtexbrowser