Skip to main content

Ian Horrocks : Publications

Click here to download all publications in a single bibtex file

@article{nikolaouAI19,
  title = "Foundations of Ontology-Based Data Access under Bag Semantics",
  author = "Charalampos Nikolaou and Egor V. Kostylev and George Konstantinidis and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2019",
  journal = "Artificial Intelligence",
  doi = "10.1016/j.artint.2019.02.003",
}
@conference{huAAAI19,
  title = "Modular  Materialisation  of  Datalog  Programs",
  author = "Pan  Hu and Boris  Motik and Ian  Horrocks",
  year = "2019",
  booktitle = "Proceedings of the Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI-19)",
}
@conference{chenAAAI19,
  title = "ColNet:  Embedding  the  Semantics  of  Web  Tables  for  Column  Type  Prediction",
  author = "Jiaoyan  Chen and Ernesto  Jimenez-­‐Ruiz and Ian  Horrocks and Charles  Sutton",
  year = "2019",
  booktitle = "Proceedings of the Thirty-Third {AAAI} Conference on Artificial Intelligence (AAAI-19)",
}
@article{DBLP:journals/jair/BateMGCSH18,
  title = "Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions",
  author = "Andrew Bate and Boris Motik and Bernardo Cuenca Grau and David Tena Cucala and Frantisek Simancik and Ian Horrocks",
  year = "2018",
  journal = "Journal of Artificial Intelligence Research",
  pages = "625--690",
  volume = "63",
  doi = "10.1613/jair.1.11257",
}
@conference{DBLP:conf/kr/RoncaKGH18,
  title = "The Window Validity Problem in Rule-Based Stream Reasoning",
  author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2018",
  booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018.",
  pages = "571--581",
  url = "https://aaai.org/ocs/index.php/KR/KR18/paper/view/18030",
}
@conference{DBLP:conf/kr/ChenLPHC18,
  title = "Knowledge-Based Transfer Learning Explanation",
  author = "Jiaoyan Chen and Freddy L{\'{e}}cu{\'{e}} and Jeff Z. Pan and Ian Horrocks and Huajun Chen",
  year = "2018",
  booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018.",
  pages = "349--358",
}
@inproceedings{DBLP:conf/aaai/RoncaKGMH18,
  title = "Stream Reasoning in Temporal Datalog",
  author = "Alessandro Ronca and Mark Kaminski and Bernardo Cuenca Grau and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), New Orleans, Louisiana, USA, February 2--7, 2018",
  pages = "1941--1948",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16182",
}
@inproceedings{DBLP:conf/ijcai/KaminskiGKMH18,
  title = "Stratified Negation in Limit Datalog Programs",
  author = "Mark Kaminski and Bernardo Cuenca Grau and Egor V. Kostylev and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden.",
  pages = "1875--1881",
  url = "https://doi.org/10.24963/ijcai.2018/259",
  doi = "10.24963/ijcai.2018/259",
}
@inproceedings{DBLP:conf/aaai/HuMH18,
  title = "Optimised Maintenance of Datalog Materialisations",
  author = "Pan Hu and Boris Motik and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16785",
}
@inproceedings{DBLP:conf/ijcai/CucalaGH18,
  title = "Consequence-based Reasoning for Description Logics with Disjunction, Inverse Roles, Number Restrictions, and Nominals",
  author = "David Tena Cucala and Bernardo Cuenca Grau and Ian Horrocks",
  year = "2018",
  booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden.",
  pages = "1970--1976",
  url = "https://doi.org/10.24963/ijcai.2018/272",
  doi = "10.24963/ijcai.2018/272",
}