@inproceedings{DBLP:conf/aaai/KaminskiGKH20,
author = {Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Ian Horrocks},
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},
date-added = {2021-08-17 09:13:11 +0100},
date-modified = {2022-05-17 10:31:55 +0100},
doi = {https://aaai.org/ojs/index.php/AAAI/article/view/5676},
pages = {2862--2869},
publisher = {{AAAI} Press},
title = {Complexity and Expressive Power of Disjunction and Negation in Limit Datalog},
url = {download/2020/KaminskiGKH20.pdf},
year = {2020},
bdsk-url-1 = {https://aaai.org/ojs/index.php/AAAI/article/view/5676}
}
@inproceedings{DBLP:conf/semweb/LeeHPLMH20,
author = {Jaehun Lee and Taeho Hwang and Jungho Park and Yunsu Lee and Boris Motik and Ian Horrocks},
booktitle = {{ISWC} (Demos/Industry)},
date-added = {2021-08-17 09:09:10 +0100},
date-modified = {2021-08-17 09:12:02 +0100},
pages = {380--382},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
title = {A Context-Aware Recommendation System for Mobile Devices},
url = {http://ceur-ws.org/Vol-2721/paper489.pdf},
volume = {2721},
year = {2020},
bdsk-url-1 = {http://ceur-ws.org/Vol-2721/paper489.pdf}
}
@inproceedings{DBLP:conf/www/ChenCHMJ20,
author = {Jiaoyan Chen and Xi Chen and Ian Horrocks and Erik B. Myklebust and Ernesto Jim{\'{e}}nez{-}Ruiz},
booktitle = {{WWW}},
date-added = {2020-05-11 12:52:58 +0100},
date-modified = {2022-05-17 10:34:00 +0100},
doi = {https://dl.acm.org/doi/10.1145/3366423.3380226},
pages = {1537--1547},
publisher = {{ACM} / {IW3C2}},
title = {Correcting Knowledge Base Assertions},
url = {download/2020/ChenCHMJ20.pdf},
year = {2020},
bdsk-url-1 = {https://dl.acm.org/doi/10.1145/3366423.3380226}
}
@comment{{BibDesk Smart Groups
conditions
comparison
2
key
Author
value
Horrocks
version
1
conjunction
0
group name
Horrocks
conditions
comparison
2
key
value
version
1
conjunction
0
group name
Last Import
conditions
