CfP: FLoC 2026 Joint Workshop on Explainable Logic-Based Knowledge Representation (XLoKR) and Explanations with Constraints and Satisfiability (ExCoS)

--_000_CWXP265MB34613131969F7F468A20E53FED74ACWXP265MB3461GBRP_
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

[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. Wh=
ile progress in machine learning has led to strong predictive capabilities,=
 many methods are difficult to interpret and explain. In contrast, logic-ba=
sed knowledge representation and reasoning methods, as well as constraint s=
olving 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 ti=
me the Workshop on Explainable Logic-Based Knowledge Representation (XLoKR)=
 and the Workshop on Explanations with Constraints and Satisfiability (ExCo=
S), bringing together researchers workshop on aspects of explainability acr=
oss the various related research communities represented at FLoC 2026, incl=
uding  knowledge representation, automated reasoning, constraint solving, s=
atisfiability, and explainable AI, thereby opening new opportunities for cr=
oss-fertilization. The program is designed to explore how these shared goal=
s manifest across various sub-fields of AI and logic.

The main purpose is to exchange ideas and results as well as receive feedba=
ck from the other participants in a true workshop-style enviroments, we wel=
come both contributions presenting unpublished results and previously publi=
shed 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 publish=
ed paper together with a note stating the publication venue and year. Revie=
wing will be single-blind. The papers should be formatted using the LIPIcs =
style (https://drops.dagstuhl.de/entities/series/LIPIcs) and must be submit=
ted via

https://submissions.floc26.org/xlokr-excos/

Accepted contributions which have not been published before will be made av=
ailable on the workshop website (unless the authors wish to opt out of this=
 option).

--_000_CWXP265MB34613131969F7F468A20E53FED74ACWXP265MB3461GBRP_
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable

<html xmlns:o=3D"urn:schemas-microsoft-com:office:office" xmlns:w=3D"urn:sc=
hemas-microsoft-com:office:word" xmlns:m=3D"http://schemas.microsoft.com/of=
fice/2004/12/omml" xmlns=3D"http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dus-ascii"=
>
<meta name=3D"Generator" content=3D"Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
	{font-family:"Cambria Math";
	panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
	{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
	{margin:0cm;
	font-size:12.0pt;
	font-family:"Aptos",sans-serif;
	mso-ligatures:standardcontextual;
	mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
	{mso-style-priority:99;
	color:#467886;
	text-decoration:underline;}
span.EmailStyle17
	{mso-style-type:personal-compose;
	font-family:"Aptos",sans-serif;
	color:windowtext;}
.MsoChpDefault
	{mso-style-type:export-only;
	mso-fareast-language:EN-US;}
@page WordSection1
	{size:612.0pt 792.0pt;
	margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
	{page:WordSection1;}
--></style>
</head>
<body lang=3D"EN-GB" link=3D"#467886" vlink=3D"#96607D" style=3D"word-wrap:=
break-word">
<div class=3D"WordSection1">
<p class=3D"MsoNormal">[Apologies if you receive multiple copies]<o:p></o:p=
></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">****************************************************=
***************************<o:p></o:p></p>
<p class=3D"MsoNormal">CALL FOR PAPERS<o:p></o:p></p>
<p class=3D"MsoNormal">****************************************************=
***************************<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">FLoC 2026 Joint Workshop on <o:p></o:p></p>
<p class=3D"MsoNormal">Explainable Logic-Based Knowledge Representation (XL=
oKR) and
<o:p></o:p></p>
<p class=3D"MsoNormal">Explanations with Constraints and Satisfiability (Ex=
CoS)<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal"><a href=3D"https://sites.google.com/view/xlokrexcos2=
026/">https://sites.google.com/view/xlokrexcos2026/</a><o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">Lisbon, Portugal, July 24th 2026<o:p></o:p></p>
<p class=3D"MsoNormal">Co-located with the 9th Federated Logic Conference (=
FLOC) 2026,
<o:p></o:p></p>
<p class=3D"MsoNormal">including CP, KR, SAT and other related conferences.=
 <o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">****************************************************=
***************************<o:p></o:p></p>
<p class=3D"MsoNormal">DESCRIPTION<o:p></o:p></p>
<p class=3D"MsoNormal">****************************************************=
***************************<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">The increasing deployment of autonomous and intellig=
ent systems in critical domains such as healthcare, finance, and cyber-phys=
ical systems raises an urgent need for systems that are not only correct, b=
ut also explainable. While progress
 in machine learning has led to strong predictive capabilities, many method=
s are difficult to interpret and explain. In contrast, logic-based knowledg=
e representation and reasoning methods, as well as constraint solving techn=
iques, provide symbolic structures
 that facilitate explanation. However, producing explanations that are comp=
rehensible, trustworthy, and useful to different classes of users remains a=
n open challenge.<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">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 a=
nd Satisfiability (ExCoS), bringing
 together researchers workshop on aspects of explainability across the vari=
ous related research communities represented at FLoC 2026, including&nbsp; =
knowledge representation, automated reasoning, constraint solving, satisfia=
bility, and explainable AI, thereby opening
 new opportunities for cross-fertilization. The program is designed to expl=
ore how these shared goals manifest across various sub-fields of AI and log=
ic.
<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">The main purpose is to exchange ideas and results as=
 well as receive feedback from the other participants in a true workshop-st=
yle enviroments, we welcome both contributions presenting unpublished resul=
ts and previously published results
 that fall within the scope of the workshop. <o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">****************************************************=
***************************<o:p></o:p></p>
<p class=3D"MsoNormal">TOPICS OF INTEREST <o:p></o:p></p>
<p class=3D"MsoNormal">****************************************************=
***************************<o:p></o:p></p>
<p class=3D"MsoNormal">include, but are not limited to explanations for or =
supported by<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">* Answer set programming<o:p></o:p></p>
<p class=3D"MsoNormal">* Automated planning<o:p></o:p></p>
<p class=3D"MsoNormal">* Automated reasoning<o:p></o:p></p>
<p class=3D"MsoNormal">* Combinatorial optimization<o:p></o:p></p>
<p class=3D"MsoNormal">* Computational argumentation <o:p></o:p></p>
<p class=3D"MsoNormal">* Constraint Solving<o:p></o:p></p>
<p class=3D"MsoNormal">* Description logics<o:p></o:p></p>
<p class=3D"MsoNormal">* Formal Explanations<o:p></o:p></p>
<p class=3D"MsoNormal">* Model counting<o:p></o:p></p>
<p class=3D"MsoNormal">* Non-monotonic reasoning<o:p></o:p></p>
<p class=3D"MsoNormal">* Probabilistic reasoning<o:p></o:p></p>
<p class=3D"MsoNormal">* Satisfiability<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">****************************************************=
***************************<o:p></o:p></p>
<p class=3D"MsoNormal">AUTHOR GUIDELINES AND SUBMISSION INFORMATION<o:p></o=
:p></p>
<p class=3D"MsoNormal">****************************************************=
***************************<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">We invite extended abstracts of 2&#8211;5 pages (exc=
luding references) on topics related to explainability in symbolic, logic-b=
ased AI. &nbsp;For submissions of already-published works, the submission m=
ay consist of the original published paper together
 with a note stating the publication venue and year.&nbsp;Reviewing will be=
 single-blind. The papers should be formatted using the LIPIcs style (<a hr=
ef=3D"https://drops.dagstuhl.de/entities/series/LIPIcs">https://drops.dagst=
uhl.de/entities/series/LIPIcs</a>) and
 must be submitted via <o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal"><a href=3D"https://submissions.floc26.org/xlokr-exco=
s/">https://submissions.floc26.org/xlokr-excos/</a><o:p></o:p></p>
<p class=3D"MsoNormal"><o:p>&nbsp;</o:p></p>
<p class=3D"MsoNormal">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).<o:p></o:p></p>
</div>
</body>
</html>

--_000_CWXP265MB34613131969F7F468A20E53FED74ACWXP265MB3461GBRP_--