Conference Information
KR 2020: International Conference on the Principles of Knowledge Representation and Reasoning
Submission Date:
Notification Date:
Conference Date:
Rhodes, Greece
CCF: b   CORE: a*   QUALIS: a2   Viewed: 15473   Tracked: 66   Attend: 3

Conference Location
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.


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
    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
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ISMSInternational conference on Intelligent Systems, Modelling and Simulation2018-03-20 2018-05-08
ISCMEInternational Seminar on Computer Technology, Mechanical and Electrical Engineering2017-08-22 2017-09-22
WCSAWireless Congress Systems and Applications2020-04-302020-05-302020-11-11
caPAKDDPacific-Asia Conference on Knowledge Discovery and Data Mining2020-11-232021-02-012021-05-11
Mobile CloudIEEE International Conference on Mobile Cloud Computing, Services, and Engineering2019-12-012020-01-152020-04-13
SEPAInternational Symposium on Software Engineering Processes and Applications2020-04-302020-05-082020-07-01
ICOTInternational Conference on Orange Technologies2015-10-122015-10-312015-12-19
IECCInternational Electronics Communication Conference2020-05-252020-06-102020-07-08
SVCInternational Conference on Signal Processing, VLSI Design & Communication Systems2020-04-042020-04-152020-04-25
5GUInternational Conference on 5G for Ubiquitous Connectivity2018-07-102018-09-102018-12-03
Related Journals