Papers Categorized: Knowledge representation and reasoning