University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram
@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