Publisher's Synopsis
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 KR conference was held as part of the Vienna Summer of Logic, a consortium of 12 conferences and 82 workshops organized by the Kurt Gödel Society at the Vienna University of Technology. This proceedings contains 58 regular papers and 25 short technical papers. They are broadly divided into the following areas: description logics (11), reasoning about actions and processes (7), belief revision and nonmonotonicity (6), gener- al knowledge representation and reasoning (6), planning, strategies, and diagnosis (5), answer set programming and logic programming (4), argu-mentation (4), automated reasoning and computation (4), causality and rationality (4), uncertainty (4), and reports from the field (3)
