This collection of extended versions of 12 papers from the First InternationalConference on Principles of Knowledge Representation and Reasoning provides a snapshot of the bestcurrent work in AI on formal methods and principles of representation and reasoning.