RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @inproceedings{RISC5281,
    author = {Boris Konev and Temur Kutsia},
    title = {{Anti-Unification of Concepts in Description Logic EL}},
    booktitle = {{Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016}},
    language = {english},
    pages = {227--236},
    publisher = {AAAI Press},
    address = {Cape Town, South Africa},
    isbn_issn = {978-1-57735-755-1},
    year = {2016},
    month = {April 25--29},
    editor = {Chitta Baral and James P. Delgrande and Frank Wolter},
    refereed = {yes},
    length = {10},
    url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/download/12880/12479}
    }