Santiago de Compostela Cathedral
Santiago de Compostela Cathedral - source: Wikimedia Commons

3rdInternational Workshop on
User-Oriented Logic Paradigms
(IULP 2020)

Santiago de Compostela, Spain

August 30, 2020 [cancelled]

news dates call for papers submission info committee contact

IULP 2020 is collocated with ECAI 2020.

Scope and Aims

Since the emergence of the field of logic programming more than 30 years ago, a lot of theoretical work has been done for example with respect to different semantics and their properties. More recently, implementations and IDEs emerged which have been used for various problem-solving applications. However, user-friendliness is still an issue for both experts and non-experts in logic programming; experts benefit for example from features like debugging and heuristic tuning, non-experts from educational material and intuitive visualisations - all of which are ongoing topics of research.

The 3rd International Workshop of User-oriented Logic Paradigms (IULP'20) aims to provide an international forum for researchers in the AI, KR, and applied sciences community to discuss and present advances in making logic programming and non-monotonic reasoning paradigms more user-friendly/oriented, where the "user" could be either a logic programming expert, or a non-expert who simply uses logic programming tools in some application. Both implementational and theoretical results are of interest.

More specifically, IULP'20 aims to bring together researchers from different sub-areas of logic programming and non-monotonic reasoning, such as answer set programming, constraint logic programming, probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation, principles of teaching, etc., as user-friendliness is an important topic in all of these research areas.

We solicit the submission of papers broadly centred on issues and research related to user-friendliness in logic paradigms and related fields. We welcome papers of either theoretical or practical nature including work in progress.


Topics of interest include (but are not limited to):
  • IDEs
  • argumentation
  • debugging
  • explanations
  • visualisation
  • best practice
  • transparency
  • algorithmic bias
  • modularity
  • usage of natural language
  • heuristic tuning
  • logic programming education
  • language extensions
  • accountable systems
  • credibility
back to top


  • 2020/01/09 Workshop Website goes online
  • 2020/03/11 Extension for submission deadine
  • 2020/03/26 Workshop resceduled to match ECAI2020 new dates
back to top

Important Dates (Revised)

  • Submission deadline: Sun, May 17th 2020
  • Notification to authors: Mon, June 15th 2020
  • Camera ready version due: Fri, June 26th 2020
  • Workshop date: August 30, 2020
(the deadline for all due dates is 23:59 SST)
back to top

Call for Papers

Call for Papers (txt)                  EasyChair CfP
back to top

Submission Info

Paper Format

Papers must be formatted in ECAI2020 style and should not exceed 7 pages (plus 1 page for references). All submissions have to be written in proper English and submitted electronically as a PDF through easychair (

A short system demonstration version which should not exceed 2 pages can be submitted electronically too.

We encourage the submission of original research on all topics as well as relevant results that have been submitted or accepted elsewhere provided that the initial publication is mentioned in a footnote on the first page.

Note that authorship is not anonymous and that at least one author of each accepted paper is required to attend the workshop to present the contribution.


There are no formal proceedings for IULP. The accepted papers will be published as a technical report and will be made available in the CoRR Computing Research Repository. The copyright of the papers lies with the authors and, as far as IULP is concerned, authors are free to submit their work to other conferences and workshops.
back to top



Program Committee

  • Gerhard Brewka (Leipzig University)
  • Martin Gebser (Potsdam University)
  • Antonis C. Kakas (University of Cyprus)
  • Antonio Lieto (University of Turin)
  • Loizos Michael (Open University of Cyprus)
  • Yisong Wang (Guizhou University)
  • Stefan Woltran (Vienna University of Technology)
  • back to top


    iulp2020 [at] informatik [dot] uni-leipzig [dot] de
    back to top