<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="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:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.E-MailFormatvorlage17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="DE" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-US">Dear colleagues,<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">We are excited to invite submissions to the workshop on "Modularity and Splitting Techniques for Knowledge Representation and Reasoning" (MoST) which will take place on July 18th, 2026, as part of KR 2026 in Lisbon, Portugal.
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">[Apologies for cross-posting this announcement.]<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">=======================================================================<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">First Call for Papers: MoST @ KR 2026<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US">=======================================================================<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Submissions until: April 20th, 2026 (AoE / UTC-12)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Website: <a href="https://most.cs.tu-dortmund.de/">
https://most.cs.tu-dortmund.de/</a> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Workshop: July 18th, 2026<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Location: Lisbon, Portugal<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">-----------<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Motivation<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US">-----------<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The field of knowledge representation and reasoning (KR) has brought forth a great variety of sophisticated approaches to represent knowledge and beliefs of humans and agents, and to reason from such representations.
While many KR formalisms are explicitly designed to model real-life scenarios including commonsense knowledge, the complexity of such situations often poses a severe challenge to reasoning efficiently in these formalisms.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">A key to break up the complexity of information is to represent and reason in local contexts. Ideally, these local contexts should contain all information relevant to a specific aspect of the problem under consideration,
abstracting from irrelevant details, such that the outcomes of local reasoning procedures after merging coincide with what would have been obtained theoretically in the global picture.
<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Examples of such techniques appear in many subareas of KR. In nonmonotonic reasoning and belief revision, syntax splitting is used to reduce the reasoning space subjects of active research. In modular answer set programming,
modules take the role of local contexts addressing specific subproblems. Graph structures can be utilized to compose the global picture from local contexts, like in probabilistic networks. Interestingly, humans perform quite well in their everyday lives by
recognizing relevant information quickly and reason from local contexts successfully with their limited resources. Therefore, also cognitive aspects of knowledge representation and reasoning are relevant to the investigation of modularity and splitting techniques.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The aim of this workshop is to bring together researchers from different (sub)fields in KR and related to KR to discuss modularity and splitting techniques for knowledge representation and reasoning. We invite papers
addressing these issues from all aspects of KR, being based on different methodologies using symbolic, qualitative, or quantitative approaches. Discussing modularity and splitting in a broad scientific context shall help understand its underlying mechanisms
better and foster collaborations across scientific domains.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">-------------------<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Topics of Interest<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US">-------------------<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">We consider modularity and splitting techniques to be a cross-cutting issue being basically relevant for all subareas of KR, in the tradition of divide-and-conquer methodologies. In particular, researchers from nonmonotonic
reasoning and belief revision and from answer set programming might be interested in this topic, but we also welcome submissions from more classical subfields like description logics, or using quantitative (e.g., probabilistics) and network-based methodologies.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Topics of the workshop include, but are not limited to<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Modular representations of knowledge and belief bases<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Syntax splitting and semantic splittings<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Global vs. local knowledge representation and reasoning<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Decomposition and composition<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Merging of knowledge and beliefs<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Graph- and network-based representations<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Relevance and independence<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Forgetting and abstraction<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* KR and cognition<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">-----------------<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Important Dates<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US">-----------------<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Paper submission: April 20, 2026<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Notification: May 28, 2026<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Workshop: July 18, 2026<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Deadlines are "anywhere on earth" (AoE / UTC-12).<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">------------<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Submissions<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US">------------<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">We welcome both contributions of full papers containing novel results (up to 14 pages, excluding references), as well as extended abstracts of already-published results (up to 3 pages, excluding references). Please note
that we also welcome submissions of preliminary work. <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Submissions should be formatted in CEURART one-column style. For details, please see:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"> <a href="https://most.cs.tu-dortmund.de/submission.html">
https://most.cs.tu-dortmund.de/submission.html</a> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">We intend to publish accepted papers via CEUR-WS. If you do not wish to make your paper public, you will be able to opt-out.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">-------------<o:p></o:p></span></p>
<p class="MsoNormal"><b><span lang="EN-US">Organization<o:p></o:p></span></b></p>
<p class="MsoNormal"><span lang="EN-US">-------------<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">Workshop Chairs:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Christoph Beierle (FernUniversität in Hagen, Germany)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Alexander Hahn (TU Dortmund University, Germany)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Gabriele Kern-Isberner (TU Dortmund University, Germany)<o:p></o:p></span></p>
<p class="MsoNormal">* Lars-Phillip Spiegel (FernUniversität in Hagen, Germany)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span lang="EN-US">Program Committee:<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Claudia d'Amato (University of Bari, Italy)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Tanya Braun (University of Münster, Germany)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* James Delgrande (Simon Fraser University, Vancouver Canada)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Florence Dupin de Saint-Cyr (Bannay University of Toulouse, France)<o:p></o:p></span></p>
<p class="MsoNormal">* Thomas Eiter (TU Wien, Austria)<o:p></o:p></p>
<p class="MsoNormal"><span lang="EN-US">* Eduardo Fermé (University of Madeira, Portugal)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Marcel Gehrke (University of Hamburg, Germany)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Jonas Haldimann (University of Cape Town, South Africa)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Jesse Heyninck (Open Universiteit Heerlen, Netherlands)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Kristian Kersting (TU Darmstadt, Germany)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Matthias Knorr (NOVA University Lisbon, Portugal)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Nicholas Leisegang (University of Cape Town, South Africa)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Thomas Meyer (University of Cape Town & CAIR, South Africa)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Emilia Oikarinen (University of Helsinki, Finland)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* David Pearce (University of Madrid, Spain)<o:p></o:p></span></p>
<p class="MsoNormal">* Zeynep Saribatur (TU Wien, Austria)<o:p></o:p></p>
<p class="MsoNormal">* Kai Sauerwald (FernUniversität in Hagen, Germany)<o:p></o:p></p>
<p class="MsoNormal"><span lang="EN-US">* Andre Thevapalan (University of Mainz, Germany)<o:p></o:p></span></p>
<p class="MsoNormal">* Matthias Thimm (FernUniversität in Hagen, Germany)<o:p></o:p></p>
<p class="MsoNormal"><span lang="EN-US">* Emil Weydert (University of Luxembourg, Luxembourg)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">* Marco Wilhelm (Federal Institute for Occupational Safety and Health, Germany)<o:p></o:p></span></p>
<p class="MsoNormal">* Stefan Woltran (TU Wien, Austria)<o:p></o:p></p>
<p class="MsoNormal"><span lang="EN-US">(to be extended)<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US">The MoST workshop is affiliated with the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026), which is a part of the Federated Logic Conference 2026 (FLoC 2026).<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
</div>
</body>
</html>