16th International Conference on Principles of Knowledge Representation
When : 2018-10-30
Where : Tempe, Arizona
Submission Deadline : 2018-05-20
Categories : Ontology , Knowledge Management
16th International Conference on Principles of Knowledge Representation and Reasoning(NETNEP 2018)
Call for Papers:
Knowledge Representation and Reasoning (KR) is an exciting, well-established field of research. In KR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Consequently, KR has contributed to the theory and practice of various areas in AI, such as automated planning and natural language understanding, among others, as well as to fields beyond AI, including databases, software engineering, the semantic web, computational biology, and the development of software agents.
The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems.
We welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from thefield" of applications, experiments, developments, and tests. Such papers should be explicitly identified as reports from the field by the authors, to ensure appropriate reviewing, and must include a section on evaluation.
The best paper of the conference will receive the 2018 Ray Reiter Best Paper Prize, and the best student paper, whose main author is a student, will receive the 2018 Marco Cadoli Student Paper Prize. In addition, a few selected papers from KR 2018 will have the opportunity for fast-track publication in the AI Journal, and the best 1-2 papers in the area of logic programming or answer set programming will have the opportunity for fast-track publication in TPLP.
Topics of interest include, but are not limited to:
- Argumentation
- Belief revision and update, belief merging, etc.
- Commonsense reasoning
- Contextual reasoning
- Description logics
- Diagnosis, abduction, explanation
- Inconsistency- and exception tolerant reasoning, paraconsistent logics
- KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems
- KR and data management, data analytics
- KR and decision making, game theory, social choice
- KR and machine learning, inductive logic programming, knowledge discovery and acquisition
- KR and natural language processing
- KR and the Web, Semantic Web
- Logic programming, answer set programming, constraint logic programming
- Nonmonotonic logics, default logics, conditional logics
- Ontology formalisms and models
- Philosophical foundations of KR
- Preferences: modeling and representation, preference-based reasoning
- Reasoning about action and change: action languages, situation calculus, causality
- Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics
- Reasoning systems and solvers, knowledge compilation
- Spatial reasoning and temporal reasoning, qualitative reasoning
- Uncertainty, representations of vagueness, many-valued and fuzzy logics
Paper Submission
Submissions must be original, and should not have been previously published, accepted for publication, or currently be under review. Authors may not submit their paper elsewhere during the KR 2018 reviewing period. These considerations apply only to journals and conferences, and not to workshops and forums with a limited audience and without archival proceedings. In case of doubt, please contact the Program Chairs.
Papers must be submitted in AAAI style and PDF format. We invite two kinds of submissions:
- full papers of up to 9 pages including abstract, figures, and appendices (if any) but excluding references and acknowledgements, which may take up to one additional page; submission of additional material (e.g. proofs) as separate documents is allowed, but this material should not form an integral part of the submission and will only be consulted at the discretion of reviewers, PC members and (area and program) chairs, as appropriate;
- short papers of up to 4 pages, describing applications, systems and/or demos.
IMPORTANT DATES:
- Abstract submission deadline: 13 May 2018
- Paper submission deadline: 20 May 2018
- Author response period: 25-27 June 2018
- Notification: 11 July 2018
- Camera-ready: 3-10 August 2018
- Workshops/tutorials: 27-29 October 2018
- Conference: 30 October-2 November 2018
User Name : srav
Posted 17-07-2017 on 11:19:28 AEDT