Posted: 30th January 2014

Oxford academics have five papers accepted at the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-2014) to be held in Austria in July. The conference focusses on the theoretical aspects of representing knowledge about the world in such a way that it can be processed by computers, and is one of the cornerstone conferences in the field of artificial intelligence. The KR conference is highly competitive: this year only 58 papers were accepted from 220 submissions overall — an acceptance rate of just 1 in 4. Professor Georg Gottlob from Oxford’s Department of Computer Science will also give an invited plenary talk at the conference.

The accepted papers are:

• Julian Gutierrez, Paul Harrenstein, and Michael Wooldridge:
  Reasoning about Equilibria in Game-like Concurrent Systems.
• Egor Ianovsky and Luke Ong:
  GuaranteeNash for Boolean games is NEXP-hard.
• Georg Gottlob, Marco Manna, and Andreas Pieris:
  Polynomial Combined Rewritings for Existential Rules.
• Georg Gottlob, Andre Hernich, Clemens Kupke and Thomas Lukasiewicz:
  Stable Model Semantics for Guarded Existential Rules and Description Logics
• Georg Gottlob et al:
  The Datalog+- Manifesto: A Family of Rule Based Languages for Knowledge Representation and Ontological Reasoning.

For more information about the KR-2014 conference see: http://www.kr.tuwien.ac.at/events/kr2014/