Paper: Finite Open-World Query Answering with Number Restrictions (at LICS 2015)
Authors: Antoine Amarilli Michael Benedikt
Abstract
No Abstract Available
BibTeX
@InProceedings{AmarilliBenedikt-FiniteOpenWorldQuer, author = {Antoine Amarilli and Michael Benedikt}, title = {Finite Open-World Query Answering with Number Restrictions}, booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)}, year = {2015}, month = {July}, pages = {305--316}, location = {Kyoto, Japan}, publisher = {IEEE Computer Society Press} }