Knowledge Representation and Reasoning (KRR) is an exciting , well-established field of research. In KRR a fun damental assumption is that an agent's knowledge i s explicitly represented in a declarative form, su itable for processing by dedicated reasoning engin es. This assumption, that much of what an agent de als with is knowledge-based, is common in many mod ern intelligent systems. In recent years KRR has c ontributed to new and emerging fields including th e semantic web, computational biology, and the dev elopment of software agents.
\n\nThe KR co nference series is the leading forum for timely in -depth presentation of progress in the theory and principles underlying the representation and compu tational management of knowledge. Workshops and tu torials will precede the KR technical program and will run on 27-29 October 2018.
\n\nKR als o features a Doctoral Consortium program, a studen t mentoring program bringing together PhD students and senior researchers from the area of KR. Appli cation deadline: June 24, 2018.
\nWe solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or sho w the applicability of results to implemented or i mplementable systems. We also welcome papers from other areas that show clear use of, or contributio ns to, the principles or practice of KRR. We also encourage "reports from the field" of ap plications, experiments, developments, and tests. We invite two kinds of submissions: full papers an d short papers.
\n\nFor its 2018 edition, KR will solicit proposals for both the Tutorial an d Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 Oct ober to 1 November 2018. The deadline for proposal submissions is 21 February 2018.
\n