<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;"><br>
<br><div><div>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">Dear Colleagues,<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); 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); 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). There will be a joint CEUR proceedings for all the workshops (final camera ready versions are due May 26th.)</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); 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; 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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); 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 2023)</a>, <a href="https://www.hhai-conference.org/conference-venue/">Design Offices Macherei</a> in Munich, Germany, 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); font-family: Verdana, Arial, Helvetica, sans-serif;">For any question, please contact Erman Acar via email: Erman.Acar@uva.nl</p></div></div><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br></div><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br></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><br><br></div></div></div></body></html>