Principles of Knowledge Representation and Reasoning
KR Inc Home
Past Conferences
Future Conferences
Proceedings
Prizes
KR Inc Organization
Related Conferences
KR Mailing Lists
Resources
Contact Information
KR Resources
Directory of Knowledge Representation Resources
W3C: Collaboration, Knowledge Representation and Automatability
What is a Knowledge Representation?
Satisfiability