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:
- Argumentation
- Constraint solving, programming, technologies
- Belief revision and update, belief merging, etc.
- Commonsense reasoning
- Contextual reasoning
- Description logics
- Diagnosis, abduction, explanation
- Inconsistency- and exception tolerant reasoning, para-consistent logics
- KR and autonomous agents: intelligent agents, cognitive robotics, multi-agent systems
- KR and decision making, game theory, social choice
- KR and machine learning, inductive logic programming, knowledge discovery and acquisition
- Logic programming, answer set programming, constraint logic programming
- Non-monotonic logics, default logics, conditional logics
- Preferences: modeling and representation, preference-based reasoning
- Reasoning about knowledge and belief, dynamic epistemic logic, epistemic and doxastic logics
- Reasoning systems and solvers, knowledge compilation
- Spatial reasoning and temporal reasoning, qualitative reasoning
- Uncertainty, representations of vagueness, many-valued and fuzzy logics
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:
- Original and unpublished research work
- Reports of innovative computing applications in the arts, sciences, engineering, and business areas
- Reports of successful technology transfer to new problem domains
- Reports of industrial experience and demos of new innovative systems
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:
- Accepted, papers must fit within eigth (8) two column pages, with the option for up to 2 additional
pages at additional cost.
- A second set of selected
papers, which did not get accepted as full papers, will be accepted as
posters, limited to 2 pages with the option for up to 1 additional page at additional cost.
- Authors of accepted papers must be prepared to sign a copyright
statement and must pay the registration fee and guarantee that their
paper will be presented at the conference. No-show of scheduled papers will result in excluding the
papers from the ACM/IEEE digital library.
Important Dates
The schedule of important dates for SAC 2026 is as follows:
- September 26, 2025 (EST) - Submission of regular papers and SRC research abstracts
- October 31, 2025 - Notification of paper acceptance/rejection
- October 31, 2025 - Notification of SRC acceptance/rejection
- December 5, 2025 - Camera-ready copies of accepted papers/SRC
- December 12, 2025 - Author registration due date
Organisation
- Stefano Bistarelli (email: stefano.bistarelli@unipg.it)
- Department of Mathematics and Computer Science, University of Perugia, Italy
- Martine Ceberio - Department of Computer Science, University of Texas at El Paso, USA
- Eric Monfroy - LINA, University of Nantes, France
- Francesco Santini - Department of Mathematics and Computer Science, University of Perugia, Italy
- Carlo Taticchi - Department of Mathematics and Computer Science, University of Perugia, Italy
Tentative Program Committee
- Gianvincenzo Alfano - Università della Calabria, Italy
- Mario Alviano - University of Calabria, Italy
- Ofer Arieli - Academic College of Tel-Aviv, Israel
- Damiano Azzolini - University of Ferrara, Italy
- Franz Baader - Dresden University of Technology, Germany
- Victor David - INRIA Sophia Antipolis, France
- Martín Diéguez - University of Angers, France
- Matti Järvisalo - University of Helsinki, Finland
- Souhila Kaci - University of Montpellier, France
- Costas Koutras - American University of the Middle East, Kuwait
- Marc Legeay - University of Angers, France
- Beishui Liao - Zhejiang University, China
- Sagar Malhotra - University of Trento, Italy
- Michael Morak - University of Klagenfurt, Austria
- Rafael Penaloza - University of Milano-Bicocca, Italy
- Nico Potyka - Cardiff University, United Kingdom
- Odinaldo Rodrigues - King's College London, United Kingdom
- Guillermo Simari - Universidad Nacional del Sur, Argentina
- Tran Cao Son - New Mexico State University, United States
- Johannes Peter Wallner - Graz University of Technology, Austria
- Roland Yap - National University of Singapore, Singapore