Andrew Bate : Publications

Click here to download all publications in a single bibtex file

@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 = "J. Artif. Intell. Res.",
  pages = "625--690",
  url = "https://doi.org/10.1613/jair.1.11257",
  volume = "63",
  doi = "10.1613/jair.1.11257",
}

@misc{2016arXiv160204498B,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SRIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Ian Horrocks",
  year = "2016",
  howpublished = "arXiv:1602.04498 [cs.AI]",
  month = "feb",
  url = "http://arxiv.org/abs/1602.04498",
}

@inproceedings{BateMGSH16,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SRIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Frantisek Simancik and Ian Horrocks",
  year = "2016",
  booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference",
  editor = "Chitta Baral and James P. Delgrande and Frank Wolter",
  pages = "187--196",
  publisher = "{AAAI} Press",
}

@phdthesis{BateDPhilThesis,
  title = "{Consequence-Based Reasoning for $\mathcal{SRIQ}$ Ontologies}",
  author = "Andrew Bate",
  year = "2016",
  school = "University of Oxford",
  url = "https://ora.ox.ac.uk/objects/uuid:6b35e7d0-199c-4db9-ac8a-7f78256e5fb8",
}

@inproceedings{BMGSH15b,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SHIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Ian Horrocks",
  year = "2015",
  booktitle = "{Proceedings of the 28th International Workshop on Description Logics}",
  editor = "Diego Calvanese and Boris Konev",
  month = "6",
  publisher = "CEUR-WS.org",
  series = "{CEUR} Workshop Proceedings",
  volume = "1350",
}

@techreport{BMGSH15a,
  title = "{Extending Consequence-Based Reasoning to $\mathcal{SHIQ}$}",
  author = "Andrew Bate and Boris Motik and Bernardo {Cuenca Grau} and Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Ian Horrocks",
  year = "2015",
  institution = "Department of Computer Science, University of Oxford",
  month = "6",
}

@inproceedings{Bate13,
  title = "{Scalable Performance for Scala Message-Passing Concurrency}",
  author = "Bate, Andrew",
  year = "2013",
  booktitle = "{Communicating Process Architectures 2013}",
  editor = "Welch, Peter H. and Barnes, Frederick R. M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B{\ae}kgaard and Sampson, Adam T.",
  isbn = "978-0-9565409-7-3",
  month = "nov",
  pages = "113--132",
}

@techreport{cb-SHIQ,
  title = "{Consequence-Based Reasoning for $\mathcal{SHIQ}$}",
  author = "Franti{\v{s}}ek Siman{\v{c}\'{i}}k and Andrew Bate",
  year = "2013",
  institution = "University of Oxford",
}

@inproceedings{BateLowe12,
  title = "{A Debugger for Communicating Scala Objects}",
  author = "Andrew Bate and Gavin Lowe",
  year = "2012",
  booktitle = "{Communicating Process Architectures 2012}",
  editor = "Welch, Peter H. and Barnes, Frederick R. M. and Chalmers, Kevin and Pedersen, Jan B{\ae}kgaard and Sampson, Adam T.",
  isbn = "978-0-9565409-5-9",
  month = "aug",
  pages = "135--154",
}

@mastersthesis{Bate12MCompSci,
  title = "{Query Answering via Query Rewriting}",
  author = "Andrew Bate",
  year = "2012",
  school = "University of Oxford",
}