TKR2025

This workshop aims at providing a forum for the general area of Knowledge Representation and Reasoning (KR), which is a well-established and active area of research within Artificial Intelligence. KR is about the declarative representation of knowledge and develops methods for automated reasoning under vagueness, uncertainty, incompleteness, and inconsistency.

We welcome contributions from all areas of KR, in particular including the following topics:

• Automated reasoning
• Belief change
• Common-sense reasoning
• Computational aspects of knowledge representation
• Constraint solving
• Description logics
• Explanation, abduction and diagnosis
• Formal Argumentation
• Geometric, spatial, and temporal reasoning
• Inconsistency- and exception-tolerant reasoning
• Logic programming, answer set programming
• Modeling and reasoning about preferences
• Non-monotonic logics
• Reasoning about actions and change, action languages
• Reasoning about knowledge, beliefs, and other mental attitudes
• Reasoning in knowledge graphs
• Reasoning in multi-agent systems
• Satisfiability and model counting
• Semantic web
• Uncertainty and vagueness

We welcome two types of submissions:

• Full papers must be original and constitute significant contributions to the field.
• Extended abstracts of recently published works or teasers for ongoing work.

All submissions will be evaluated through peer-reviewing based on originality, significance, technical soundness, and clarity of exposition. The reviewing process is single blind.

We specifically welcome extended abstracts of papers published at IJCAI'25, for which the workshop can serve as medium for extended presentations.

TKR2025 will be hosted as a IJCAI 2025 workshop that takes place in August 2025 in Montreal, Canada.