Two papers accepted to KR 2016

Fri, 22.01.2016

The following two papers by the Constraint Reasoning and Optimization group have been accepted for publication in the proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016):

  • Implicit Hitting Set Algorithms for Reasoning Beyond NP. Paul Saikko, Johannes P. Wallner, and Matti Järvisalo.
  • Some Complexity Results on Inconsistency Measurement. Matthias Thimm and Johannes P. Wallner.

The KR conference series is the leading international venue in the area of knowledge representation and reasoning.

Last updated on 22 Jan 2016 by Matti Järvisalo - Page created on 22 Jan 2016 by Matti Järvisalo