sac

Track on Knowledge Representation and Reasoning (KRR)

part of the 41th ACM/SIGAPP Symposium On Applied Computing

Thessaloniki, Greece, March 23 - 27, 2026

location 2026

Overview

The topic of the track covers an important field of research in Artificial Intelligence: KRR is indeed a trending topic (for instance, its Argumentation-theory subfield). A similar dedicated conference is the International Conference on Principles of Knowledge Representation and Reasoning, but all the major conferences in AI (e.g., AAAI, IJCAI, AAMAS, ECAI) have KRR among their topics of interest. KRR track will be a venue for all the researchers and practitioners working on the fundaments (but also applications) of reasoning, and the cross-fertilization among different approaches (e.g., Argumentation and Belief Revision).

Scope

Knowledge-representation and Reasoning (KRR) is the field of artificial intelligence that focuses on designing computer representations that capture information about the world that can be used to solve complex problems. Its goal is to understand and build intelligent behavior from the top down, focusing on what an agent needs to know with the purpose to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. Topics of interest include, but are not limited to:

Submissions

We would like to invite authors to submit papers on research on KRR area, with particular emphasis on assessing the current state of the art and identifying future directions. Original papers addressing any of the listed topics of interest (or related topics) will be considered. Each submitted paper will be fully refereed and undergo a double-blind review process by at least three referees. Accepted papers will be included in the ACM SAC 2024 proceedings and published in the ACM digital library, being indexed by Thomson ISI Web of Knowledge and Scopus. Submissions fall into the following categories:

Regular Paper Submissions

Submissions should be properly anonymised to facilitate blind reviewing. The author(s) name(s) and address(es) must not appear in the body of the paper, and all self-references should be written in the third person.

Please check the Author Kit and LaTeX style files available on the main SAC website. The required format is typically based on the ACM templates. Submissions that do not comply with the formatting or length requirements may be subject to immediate rejection.

All submissions must be made electronically via the EasyChair platform:
https://easychair.org/my/conference?conf=sac2026

Papers receiving high-quality reviews but not accepted due to space limitations may be invited to participate in the poster session.

SRC Abstract Submissions

Graduate students are invited to submit abstracts that present original, unpublished, and in-progress research related to this track. SRC overview at this link https://www.sigapp.org/sac/sac2026/src_program.php.

Submit your abstract via:
https://easychair.org/my/conference?conf=sacsrc2026

Accepted papers instructions:

Important Dates

The schedule of important dates for SAC 2026 is as follows:

Organisation

Tentative Program Committee