[Apologies if you receive multiple copies] ******************************************************************************* CALL FOR PAPERS *******************************************************************************
FLoC 2026 Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS) https://sites.google.com/view/xlokrexcos2026/ Lisbon, Portugal, July 24th 2026 Co-located with the 9th Federated Logic Conference (FLOC) 2026, including CP, KR, SAT and other related conferences. ******************************************************************************* DESCRIPTION ******************************************************************************* The increasing deployment of autonomous and intelligent systems in critical domains such as healthcare, finance, and cyber-physical systems raises an urgent need for systems that are not only correct, but also explainable. While progress in machine learning has led to strong predictive capabilities, many methods are difficult to interpret and explain. In contrast, logic-based knowledge representation and reasoning methods, as well as constraint solving techniques, provide symbolic structures that facilitate explanation. However, producing explanations that are comprehensible, trustworthy, and useful to different classes of users remains an open challenge. For the special occation of FLoC 2025, this workshop joins for the first time the Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and the Workshop on Explanations with Constraints and Satisfiability (ExCoS), bringing together researchers workshop on aspects of explainability across the various related research communities represented at FLoC 2026, including knowledge representation, automated reasoning, constraint solving, satisfiability, and explainable AI, thereby opening new opportunities for cross-fertilization. The program is designed to explore how these shared goals manifest across various sub-fields of AI and logic. The main purpose is to exchange ideas and results as well as receive feedback from the other participants in a true workshop-style enviroments, we welcome both contributions presenting unpublished results and previously published results that fall within the scope of the workshop. ******************************************************************************* TOPICS OF INTEREST ******************************************************************************* include, but are not limited to explanations for or supported by * Answer set programming * Automated planning * Automated reasoning * Combinatorial optimization * Computational argumentation * Constraint Solving * Description logics * Formal Explanations * Model counting * Non-monotonic reasoning * Probabilistic reasoning * Satisfiability ******************************************************************************* AUTHOR GUIDELINES AND SUBMISSION INFORMATION ******************************************************************************* We invite extended abstracts of 2-5 pages (excluding references) on topics related to explainability in symbolic, logic-based AI. For submissions of already-published works, the submission may consist of the original published paper together with a note stating the publication venue and year. Reviewing will be single-blind. The papers should be formatted using the LIPIcs style (https://drops.dagstuhl.de/entities/series/LIPIcs) and must be submitted via https://submissions.floc26.org/xlokr-excos/ Accepted contributions which have not been published before will be made available on the workshop website (unless the authors wish to opt out of this option).
