KR Home Page
Overview
KR2014 is part of the KR conference series, 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 will be held as part of the Vienna Summer of Logic together with the Federated Conference on Logic, Logic Colloquium and other related events. The Vienna Summer of Logic is expected to be the largest convention in the history of logic.
Detailed information on KR2014 can be found on the KR2014 website.