Conference Information
KR 2020: International Conference on the Principles of Knowledge Representation and Reasoning
https://kr2020.inf.unibz.it/
Submission Date:
2020-03-04
Notification Date:
2020-05-27
Conference Date:
2020-09-12
Location:
Rhodes, Greece
Years:
17
CCF: b   CORE: a*   QUALIS: a2   Viewed: 13852   Tracked: 65   Attend: 3

Conference Location
Advertisment
Call For Papers
Knowledge Representation and Reasoning (KR) is a well-established and lively 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, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, 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.

Scope

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 also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests.

Topics of interest include, but are not limited to:

    Applications of KR
    Argumentation
    Belief revision and update, belief merging, information fusion
    Commonsense reasoning
    Computational aspects of knowledge representation
    Concept formation, similarity-based reasoning
    Contextual reasoning
    Decision making
    Description logics
    Explanation finding, diagnosis, causal reasoning, abduction
    Geometric, spatial, and temporal reasoning
    Inconsistency- and exception tolerant reasoning, paraconsistent logics
    KR and autonomous agents and multi-agent systems
    KR and cognitive robotics
    KR and cyber security
    KR and education
    KR and game theory
    KR and machine learning, inductive logic programming, knowledge acquisition
    KR and natural language processing and understanding
    KR and the Web, Semantic Web
    Knowledge graphs, virtual knowledge graphs, and open linked data
    Knowledge representation languages
    Logic programming, answer set programming, constraint logic programming
    Modeling and reasoning about preferences
    Multi- and order-sorted representations and reasoning
    Nonmonotonic logics, default logics, conditional logics
    Ontology formalisms and models
    Ontology-based data access, integration, and exchange
    Philosophical foundations of KR
    Qualitative reasoning, reasoning about physical systems
    Reasoning about actions and change, action languages
    Reasoning about knowledge, beliefs, and other mental attitudes
    Uncertainty, vagueness, many-valued and fuzzy logics
Last updated by Dou Sun in 2020-03-25
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20082516927.5%
20062105023.8%
20041976734%
20001726236%
Related Conferences
Related Journals
Recommendation