Skip to main content

Seven Oxford papers and one tutorial at KR 2016


Against the dramatic background of the Table Mountain, this year's edition of the International Conference on Principles of Knowledge Representation and Reasoning (KR2016) will be held in Cape Town, South Africa. The KR conference series is the leading forum in AI focussing on the theory and principles underlying the representation and computational management of knowledge. We are therefore delighted to see that seven Oxford papers have been accepted for presentation at KR2016:

  • On Expressibility of Non-Monotone Operators in SPARQL
    Roman Kontchakov and Egor V. Kostylev

  • Extending Consequence-Based Reasoning to SRIQ
    Andrew Bate, Boris Motik, Bernardo Cuenca Grau, Frantisek Simancik, and Ian Horrocks

  • Limiting Logical Violations in Ontology Alignment Through Negotiation
    Ernesto Jimenez-Ruiz, Terry Payne, Alessandro Solimando, and Valentina Tamma

  • Probabilistic Models over Weighted Orderings: Fixed−Parameter Tractable Variable Elimination
    Thomas Lukasiewicz‚ Maria Vanina Martinez‚ David Poole, and Gerardo I. Simari

  • Generalized Consistent Query Answering under Existential Rules
    Thomas Eiter‚ Thomas Lukasiewicz, and Livia Predoiu

  • Imperfect Information in Reactive Modules Games
    Julian Gutierrez, Giuseppe Perelli, and Michael Wooldridge

  • Boolean Hedonic Games
    Haris Aziz, Paul Harrenstein, Jérôme Lang, and Michael Wooldridge

In addition, Thomas Lukasiewicz and Dan Olteanu have been invited to hold a tutorial on Probabilistic Databases and Reasoning.