<html 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=utf-8">
<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;}
@font-face
{font-family:-webkit-standard;
panose-1:2 11 6 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="en-CY" link="#0563C1" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">[Apologies for cross-posting]<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"-webkit-standard",serif;color:black">Submission deadline (extended): Sun,
</span><span lang="EN-US" style="font-family:"-webkit-standard",serif;color:black">March 22nd 2020<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US"><o:p> </o:p></span></p>
<p class="MsoPlainText">*******************************************************************</p>
<p class="MsoPlainText">CALL FOR PAPERS</p>
<p class="MsoPlainText">I<span lang="EN-US">ULP </span>2020 International Workshop on User-Oriented Logic Paradigms</p>
<p class="MsoPlainText">Collocated with the 24th European Conference on Artificial Intelligence (ECAI2020)</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"><a href="https://iulp2020.uni-leipzig.de">https://iulp2020.uni-leipzig.de</a> </p>
<p class="MsoPlainText"><span lang="EN-US">Extended </span>Deadline: March <span lang="EN-US">
22</span>, 2020 23:59 (<span lang="EN-US">SST</span>)</p>
<p class="MsoPlainText"><span lang="EN-US">Workshop date: June 9, 2020</span></p>
<p class="MsoPlainText">******************************************************************* </p>
<p class="MsoNormal">[Apologies for cross-postings]</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">Since the emergence of logic reasoning paradigms, such as logic programming,</p>
<p class="MsoPlainText">argumentation, and other non-monotonic reasoning formalisms,</p>
<p class="MsoPlainText">a lot of theoretical work has been done, for example with respect to</p>
<p class="MsoPlainText">different semantics and their properties. More recently, implementations</p>
<p class="MsoPlainText">and IDEs emerged which have been used for various problem-solving</p>
<p class="MsoPlainText">applications. However, user-friendliness is still an issue for both experts and</p>
<p class="MsoPlainText">non-experts working with logic paradigms; for example experts benefit from</p>
<p class="MsoPlainText">features like debugging and heuristic tuning, non-experts from educational</p>
<p class="MsoPlainText">material, explanations, and intuitive visualisations - all of which are ongoing</p>
<p class="MsoPlainText">topics of research.</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">The 3rd International Workshop of User-Oriented Logic Paradigms (IULP)</p>
<p class="MsoPlainText">focuses on discussing different aspects involved in making logic paradigms more</p>
<p class="MsoPlainText">user-friendly/oriented, where the "user" could be either an expert of the</p>
<p class="MsoPlainText">paradigm, or a non-expert who simply uses tools developed for the paradigm in</p>
<p class="MsoPlainText">some application.</p>
<p class="MsoPlainText">IULP aims to bring together researchers working on different logic paradigms,</p>
<p class="MsoPlainText">such as answer set programming, constraint logic programming,</p>
<p class="MsoPlainText">probabilistic logic programming, abductive logic programming,</p>
<p class="MsoPlainText">inductive logic programming, argumentation, principles of teaching etc., as user-</p>
<p class="MsoPlainText">friendliness is an important topic in all of these areas.</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">IULP aims to provide an international forum for researchers in the AI,</p>
<p class="MsoPlainText">KR, and applied sciences community to discuss and present advances in</p>
<p class="MsoPlainText">theories, formalisms, and applications to deliver the mature and</p>
<p class="MsoPlainText">well-defined methods of logic paradigms to a wider audience.</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">We solicit the submission of papers broadly centred on issues and</p>
<p class="MsoPlainText">research related to user-friendliness in logic paradigms and related</p>
<p class="MsoPlainText">fields.</p>
<p class="MsoPlainText">We welcome papers of either theoretical or practical nature, including</p>
<p class="MsoPlainText">work in progress.</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">IMPORTANT DATES</p>
<p class="MsoPlainText">*******************************************************************
</p>
<p class="MsoPlainText">* Submission deadline : Sun, March <span lang="EN-US">22nd</span>h 2020</p>
<p class="MsoPlainText">* Notification to authors: Wed, April <span lang="EN-US">
15</span>th 2020</p>
<p class="MsoPlainText">* Camera ready version due: Wed, May 20th 2020</p>
<p class="MsoPlainText">* Workshop date: June 9, 2020</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">TOPICS</p>
<p class="MsoPlainText">*******************************************************************
</p>
<p class="MsoPlainText">Topics of interest include (but are not limited to):</p>
<p class="MsoPlainText">* IDEs</p>
<p class="MsoPlainText">* debugging</p>
<p class="MsoPlainText">* explanations</p>
<p class="MsoPlainText">* visualisation</p>
<p class="MsoPlainText">* best practice</p>
<p class="MsoPlainText">* modularity</p>
<p class="MsoPlainText">* usage of natural language</p>
<p class="MsoPlainText">* heuristic tuning</p>
<p class="MsoPlainText">* LP education</p>
<p class="MsoPlainText">* language extensions</p>
<p class="MsoPlainText">* transparency</p>
<p class="MsoPlainText">* algorithmic bias</p>
<p class="MsoPlainText">* credibility</p>
<p class="MsoPlainText">* accountable systems</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">SUBMISSIONS</p>
<p class="MsoPlainText">*******************************************************************
</p>
<p class="MsoPlainText">Papers must be formatted in ECAI2020 style</p>
<p class="MsoPlainText">(<a href="http://ecai2020.eu/wp-content/uploads/AuthorsPack-ECAI2020.zip">http://ecai2020.eu/wp-content/uploads/AuthorsPack-ECAI2020.zip</a>) and should not</p>
<p class="MsoPlainText">exceed 7 pages (plus 1 page for references). All submissions have to be</p>
<p class="MsoPlainText">written in English and submitted electronically as a PDF through easychair</p>
<p class="MsoPlainText">(<a href="https://easychair.org/conferences/?conf=iulp2020">https://easychair.org/conferences/?conf=iulp2020</a>).</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">A short system demonstration version which should not exceed 2 pages can be</p>
<p class="MsoPlainText">submitted electronically too.</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">We encourage the submission of original research on all topics as well as</p>
<p class="MsoPlainText">relevant results that have been submitted or accepted elsewhere provided</p>
<p class="MsoPlainText">that the initial publication is mentioned in a footnote on the first</p>
<p class="MsoPlainText">page.</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">Note that authorship is not anonymous and that at least one author of</p>
<p class="MsoPlainText">each accepted paper is required to attend the workshop to present the</p>
<p class="MsoPlainText">contribution.</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">PROCEEDINGS</p>
<p class="MsoPlainText">*******************************************************************
</p>
<p class="MsoPlainText">There are no formal proceedings for IULP.</p>
<p class="MsoPlainText">The accepted papers will be published as a technical report and will be made</p>
<p class="MsoPlainText">available in the Computing Research Repository (CoRR).</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">The copyright of the papers lies with the authors and, as far as IULP is</p>
<p class="MsoPlainText">concerned, authors are free to submit their work to other conferences and</p>
<p class="MsoPlainText">workshops.</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"><span lang="EN-US">ORGANIZERS</span></p>
<p class="MsoPlainText">*******************************************************************</p>
<p class="MsoPlainText">* Stefan Ellmauthaler (Leipzig University)</p>
<p class="MsoPlainText">* Christos Rodosthenous (Open University of Cyprus)</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">CONTACT</p>
<p class="MsoPlainText">*******************************************************************</p>
<p class="MsoPlainText">iulp20<span lang="EN-US">20</span> [at] informatik [dot] uni-leipzig [dot] de</p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText"> </p>
<p class="MsoPlainText">HOMEPAGE</p>
<p class="MsoPlainText">-------------------------------------------------------------------------</p>
<p class="MsoPlainText"><a href="https://iulp2020.uni-leipzig.de">https://iulp2020.uni-leipzig.de</a></p>
<p class="MsoPlainText"> </p>
</div>
</body>
</html>