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