4^4t International Conference on Principles of Knowledge Representation and Reasoning(KR 2023)

September 02-08, 2023, Rhodes, Greece.

Scope & Topics

4^th International Conference on Principles of Knowledge Representation and Reasoning(KR 2023) KR 2023) is a well-established and lively field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. Consequently, KR has contributed to the theory and practice of various areas in AI, including agents, automated planning and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, robotics, computational biology, and cyber security.

Topics of Interest :

• Applications of KR
• Argumentation
• Belief revision and update, belief merging
• 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
• Knowledge acquisition
• Knowledge graphs and open linked data
• Knowledge representation languages
• KR and automated reasoning (satisfiability, QBF, model counting, knowledge compilation)
• KR and autonomous agents and multi-agent systems
• KR and cognitive modelling
• KR and cognitive reasoning
• KR and cognitive robotics
• KR and cognitive systems
• KR and cyber security
• KR and education
• KR and game theory
• KR and machine learning, inductive logic programming,
• KR and natural language processing and understanding
• KR and the Web, Semantic Web
• Logic programming, answer set programming
• Modeling and reasoning about preferences
• Multi- and order-sorted representations and reasoning
• Non-monotonic logics, default logics, conditional logics
• Ontology-based data access, integration, and exchange
• Ontology formalisms and models
• Philosophical foundations of KR
• Qualitative reasoning, reasoning about physical systems
• Reasoning about actions and change, action languages
• Reasoning about constraints, constraint programming
• Reasoning about knowledge, beliefs, and other mental attitudes
• Uncertainty, vagueness, many-valued and fuzzy logics

  Paper Submission

  Submit your contributions to Electronic Submission System; ( .pdf only).
  
  Note: If you are interested in special sessions, after submission via system, please mail this to kr2023 (AT) easychair.org

  Important Dates

  Submission Deadline	:	March 14, 2023
  Authors Notification	:	May 18, 2023
  Final Manuscript Due	:	June 09, 2023