Principles of Knowledge Representation and Reasoning
KR Inc Home
KR2012
Past Conferences
Proceedings
Prizes
KR Inc Organization
Related Conferences
KR Mailing Lists
Resources
Contact Information
KR Resources
KR on the Open Directory Project
W3C: Collaboration, Knowledge Representation and Automatability
What is a Knowledge Representation?
KR/DB Conferences and Journal CFPs
A KR repository
Belief Revision
Satisfiability
Google KR Directory