Posted: 21st March 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.