Font Size: 

The KR conference series is a leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. The 2014 edition of KR is held as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium, and other related events, making it a very special edition.