<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
Dear Colleagues,
<div><br>
</div>
<div><br>
</div>
<div><br>
<div></div>
<div></div>
<div><br>
</div>
<div>
<p style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
KR4HI-2023 is the second International Workshop on Knowledge Representation for Hybrid intelligence which will be co-located with <a href="https://www.hhai-conference.org/" target="_blank">the 2nd  international conference on Hybrid-Human Artificial Intelligence
 (HHAI 2022)</a>. The workshop will be held in <a target="_blank" href="https://www.hhai-conference.org/conference-venue/">Design Offices Macherei</a> on June  26th, 2023. </p>
<h2 style="margin: 7pt 0px 6pt; font-size: 12pt; border-bottom-width: 2px; border-bottom-style: solid; border-bottom-color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); padding: 4pt 0pt 6pt; font-family: verdana, sans-serif; border-radius: 3px;">
Submission Guidelines</h2>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
Submission format:  Submissions for contributing papers must be original (i.e., not submitted to any other venue) and are required to be in CEUR format (see <a target="_blank" href="http://ceur-ws.org/HOWTOSUBMIT.html">http://ceur-ws.org/HOWTOSUBMIT.html</a>)
 with 12 pages + references (incl. acknowledgements +supplementary material if necessary). Previously published articles  or preliminary works can also be submitted in the form of extended abstracts (2 pages + references).   </p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
Submission link: <a class="XqQF9c" href="https://easychair.org/conferences/?conf=kr4hi2023" target="_blank" style="font-size: 16px; box-sizing: border-box; color: rgb(0, 0, 0); text-decoration: none; pointer-events: all; font-family: "Open Sans", sans-serif;"><span class="C9DxTc aw5Odc" style="box-sizing: border-box; text-decoration: underline;">https://easychair.org/conferences/?conf=kr4hi2023</span></a></p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
The review process:  The review process will be carried out as single-blind. </p>
<h2 style="margin: 7pt 0px 6pt; font-size: 12pt; border-bottom-width: 2px; border-bottom-style: solid; border-bottom-color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); padding: 4pt 0pt 6pt; font-family: verdana, sans-serif; border-radius: 3px;">
List of Topics</h2>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
The workshop has an interdisciplinary theme and welcomes any work from any discipline which uses a KR formalism in a HI scenario.  The relevant themes to be used in a HI scenario include but are not limited to:</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Argumentation Frameworks</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Integrating Learning and Reasoning (Neuro-Symbolic systems, Statistical Relational Learning)</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Formal or Applied Ontologies (Knowledge Graphs, Description Logics)</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Causal Inference/Counterfactual Reasoning</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Constraint Programming</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Epistemic Logics and Theory of Mind</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Formal Concept Analysis</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Automated Reasoning, Robotics and Planning</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Non-monotonic Reasoning (Answer-set Programming, Datalog)</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Models of uncertainty (Probabilistic Graphical models, Probabilistic/Fuzzy Logics)</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Temporal logics (Single-agent / Multiagent Logics)</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
• Preferential/Contextual Reasoning</p>
<h2 style="margin: 7pt 0px 6pt; font-size: 12pt; border-bottom-width: 2px; border-bottom-style: solid; border-bottom-color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); padding: 4pt 0pt 6pt; font-family: verdana, sans-serif; border-radius: 3px;">
Committees</h2>
<h3 style="margin: 7pt 0pt 6pt 30pt; font-size: 11pt; border-bottom-width: 1px; border-bottom-style: solid; border-bottom-color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); padding: 3pt 0pt 4pt; font-family: verdana, sans-serif; border-radius: 3px;">
Program Committee</h3>
<p style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
tbd</p>
<h3 style="margin: 7pt 0pt 6pt 30pt; font-size: 11pt; border-bottom-width: 1px; border-bottom-style: solid; border-bottom-color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); padding: 3pt 0pt 4pt; font-family: verdana, sans-serif; border-radius: 3px;">
Organizing committee</h3>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
Erman Acar (ILLC, University of Amsterdam) </p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
Ana Ozaki (University of Bergen)</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
Rafael Peñaloza (University of Milano-Bicocca)</p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
Stefan Schlobach (Vrije Universiteit Amsterdam) </p>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
Atefeh Zafarghandi (CWI & Vrije Universiteit Amsterdam)</p>
<h2 style="margin: 7pt 0px 6pt; font-size: 12pt; border-bottom-width: 2px; border-bottom-style: solid; border-bottom-color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); padding: 4pt 0pt 6pt; font-family: verdana, sans-serif; border-radius: 3px;">
Invited Speakers</h2>
<ul style="max-width: 650pt; padding-bottom: 5pt; margin: 12px 0px; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 13px;">
<li style="font-size: 11pt; padding: 3px 0px; line-height: 1.4;">Thomas Bolander (Technical University of Denmark)</li><li style="font-size: 11pt; padding: 3px 0px; line-height: 1.4;">Max van Duijn (Leiden University)</li></ul>
<h2 style="margin: 7pt 0px 6pt; font-size: 12pt; border-bottom-width: 2px; border-bottom-style: solid; border-bottom-color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); padding: 4pt 0pt 6pt; font-family: verdana, sans-serif; border-radius: 3px;">
Venue</h2>
<p style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
The workshop  is co-located with <a href="https://www.hhai-conference.org/">the 2nd  international conference on Hybrid-Human Artificial Intelligence (HHAI 2022)</a>, namely  <a href="https://www.hhai-conference.org/conference-venue/">Design Offices Macherei</a> on
 June  26th, 2023.</p>
<h2 style="margin: 7pt 0px 6pt; font-size: 12pt; border-bottom-width: 2px; border-bottom-style: solid; border-bottom-color: rgb(0, 0, 0); background-color: rgb(255, 255, 255); color: rgb(51, 51, 51); padding: 4pt 0pt 6pt; font-family: verdana, sans-serif; border-radius: 3px;">
Contact</h2>
<p dir="ltr" style="margin: 0px 0pt 12px 10pt; max-width: 650pt; line-height: 1.4; font-size: 11pt; padding-bottom: 5pt; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Verdana, Arial, Helvetica, sans-serif;">
For any question,  please contact  Erman Acar  via email:   Erman.Acar@uva.nl</p>
</div>
</div>
<br>
<br>
<div>
<div><font size="1">---<br>
Erman Acar, PhD<br>
<br>
Assistant Professor (for XAI in Finance)<br>
Institute of Logic, Language and Computation<br>
Socially Intelligent Artificial Systems (SIAS) Group @ IvI<br>
University of Amsterdam</font></div>
</div>
<br>
</body>
</html>