Least General Generalizations in Description Logic: Verification and Existence (bibtex)

by Jean Christoph Jung and Carsten Lutz and Frank Wolter

Reference:

Jean Christoph Jung and Carsten Lutz and 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}
}