posted by organizer: chrodos || 5207 views || tracked by 5 users: [display]

IULP 2019 : 3rd International Workshop on User-Oriented Logic Paradigms


When Jun 3, 2019 - Jun 4, 2019
Where Philadelphia, PA (USA)
Submission Deadline Mar 31, 2019
Notification Due Apr 29, 2019
Final Version Due May 20, 2019
Categories    computer science   artificial intelligence   logic   education

Call For Papers

Call for Papers


*** IULP 2019 ***

3rd International Workshop on User-Oriented Logic Paradigms
June 3 or 4, 2019 (1 day)

Collocated with the
15th International Conference on Logic Programming and
Nonmonotonic Reasoning (LPNMR 2019)
Philadelphia, USA
June 4 - 6, 2019


Since the emergence of logic reasoning paradigms, such as logic programming,
argumentation, and other non-monotonic reasoning formalisms,
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
However, user-friendliness is still an issue for both experts and
non-experts working with logic paradigms; for example experts benefit from
features like debugging and heuristic tuning, non-experts from educational
material, explanations, and intuitive visualisations - all of which are ongoing
topics of research.

The 3rd International Workshop of User-Oriented Logic Paradigms (IULP)
focuses on discussing different aspects involved in making logic paradigms more
user-friendly/oriented, where the "user" could be either an expert of the
paradigm, or a non-expert who simply uses tools developed for the paradigm in
some application.
IULP aims to bring together researchers working on different logic paradigms,
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 areas.

IULP aims to provide an international forum for researchers in the AI,
KR, and applied sciences community to discuss and present advances in
theories, formalisms, and applications to deliver the mature and
well-defined methods of logic paradigms to a wider audience.

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

* Submission deadline: Sun, March 31st 2019
* Notification to authors: Mon, April 29th 2019
* Camera-ready version due: Mon, May 20th 2019
* Workshop date: June 3 or 4, 2019

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

Papers must be formatted in Springer LNCS style
( and should not exceed 13 pages (excluding
references and appendices). All submissions have to be written in English
and submitted electronically as a PDF through easychair

A short system demonstration version which should not exceed 6 pages
(excluding references and appendices) 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

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

There are no formal proceedings for IULP.
The accepted papers will be published as a technical report and will be made
available in the Computing Research Repository (CoRR).

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

* Stefan Ellmauthaler (Leipzig University)
* Christos Rodosthenous (Open University of Cyprus)

Program Committee
* Stefan Woltran (Vienna University of Technology)
* Martin Gebser (Potsdam University)
* Gerhard Brewka (Leipzig University)
* Loizos Michael (Open University of Cyprus)
* Antonis Kakas (University of Cyprus)
* Antonio Lieto (University of Turin)

iulp2019 [at] informatik [dot] uni-leipzig [dot] de


Related Resources

CENTRIC 2021   The Fourteenth International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
ASPOCP 2021   Answer Set Programming and Other Computing Paradigms
IJAD 2021   International Journal of Advanced Dermatology
IS-EUD 2021   8th International Symposium on End-User Development
MLNLP 2021   2nd International Conference on Machine Learning Techniques and NLP
ECOOP 2021   Call for papers: 35th European Conference on Object-Oriented Programming
SI-DAMLE 2021   Special Issue on Data Analytics and Machine Learning in Education
IUI 2022   Intelligent User Interfaces
CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)