domains / families / research / international-conference-on-principles-of-knowledge-representation-and-reasoning

international-conference-on-principles-of-knowledge-representation-and-reasoning

separate

Use when targeting International Conference on Principles of Knowledge Representation and Reasoning (KR) or deciding whether a computer-science manuscript fits this venue. Encodes conference fit, framing, evidence bar, submission-cycle checks, rebuttal posture, and desk-reject risks for knowledge representation.

When to use

• targeting KR
• deciding if a manuscript fits KR
• conference-fit read for logic manuscripts
• re-framing journal or arXiv style into conference narrative
• diagnosing evidence-gap, anonymity, artifact, rebuttal, or re-routing issues
• submission strategy for knowledge representation

When not to use

• substitute for current year's CFP, author kit, ethics policy, or submission portal
• satisfiability-specific solving
• semantic-web deployment
• intrusion detection, attacks, defenses, and security measurement
• generic CS papers without specific subcommunity focus

Skill page

Source