Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. Higher-Order Description Logics for Domain Metamodeling. In Wolfram Burgard, Dan Roth, editors, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011. pages 183-188, AAAI Press, 2011. [doi]
@inproceedings{GiacomoLR11,
title = {Higher-Order Description Logics for Domain Metamodeling},
author = {Giuseppe De Giacomo and Maurizio Lenzerini and Riccardo Rosati},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3704},
tags = {logic},
researchr = {https://researchr.org/publication/GiacomoLR11},
cites = {0},
citedby = {0},
pages = {183-188},
booktitle = {Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011},
editor = {Wolfram Burgard and Dan Roth},
publisher = {AAAI Press},
}